检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

36,022 篇 会议
587 篇 期刊文献
543 册 图书
1 篇 学位论文

馆藏范围

37,151 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

24,500 篇 工学
- 15,641 篇 计算机科学与技术...
- 12,601 篇 软件工程
- 3,747 篇 电气工程
- 3,563 篇 信息与通信工程
- 3,113 篇 控制科学与工程
- 2,479 篇 化学工程与技术
- 2,409 篇 机械工程
- 2,213 篇 材料科学与工程（可...
- 1,780 篇 电子科学与技术（可...
- 1,531 篇 土木工程
- 1,321 篇 建筑学
- 1,304 篇 动力工程及工程热...
- 1,279 篇 生物工程
- 1,176 篇 生物医学工程（可授...
- 1,002 篇 力学（可授工学、理...
- 924 篇 仪器科学与技术
- 916 篇 交通运输工程
- 898 篇 安全科学与工程
9,376 篇 理学
- 4,416 篇 数学
- 2,894 篇 物理学
- 1,782 篇 化学
- 1,489 篇 生物学
- 1,183 篇 统计学（可授理学、...
- 972 篇 系统科学
5,986 篇 管理学
- 4,186 篇 管理科学与工程(可...
- 2,238 篇 图书情报与档案管...
- 2,135 篇 工商管理
1,102 篇 医学
- 993 篇 临床医学
- 907 篇 基础医学(可授医学...
980 篇 教育学
- 971 篇 教育学
908 篇 经济学
645 篇 法学
241 篇 农学
71 篇 军事学
65 篇 文学
16 篇 艺术学
3 篇 历史学

主题

1,796 篇 software enginee...
1,304 篇 software
655 篇 knowledge engine...
504 篇 computer science
408 篇 training
400 篇 computational mo...
383 篇 data mining
378 篇 covid-19
372 篇 application soft...
352 篇 feature extracti...
339 篇 artificial intel...
322 篇 computer archite...
321 篇 software design
303 篇 software systems
283 篇 programming
281 篇 deep learning
267 篇 semantics
259 篇 mathematical mod...
255 篇 knowledge manage...
253 篇 conferences

机构

52 篇 school of inform...
48 篇 school of comput...
46 篇 nanjing univ sta...
44 篇 college of compu...
41 篇 school of comput...
35 篇 school of comput...
32 篇 school of comput...
32 篇 univ chinese aca...
23 篇 college of infor...
22 篇 institute of inf...
21 篇 school of inform...
20 篇 software enginee...
19 篇 university of el...
19 篇 state key labora...
18 篇 school of comput...
18 篇 tsinghua univ sc...
18 篇 university of mi...
17 篇 college of compu...
17 篇 department of el...
16 篇 school of softwa...

作者

26 篇 bernady o. apduh...
26 篇 li li
24 篇 lei wei
22 篇 liu yang
21 篇 jin zhi
20 篇 wang qing
19 篇 li yang
18 篇 wang jian
17 篇 qing wang
17 篇 wnuk krzysztof
16 篇 wang lei
16 篇 li xin
16 篇 wang hui
16 篇 wei jun
15 篇 zhang hongyu
14 篇 liu bo
14 篇 wang jing
14 篇 liang peng
13 篇 zhang lin
13 篇 singh bhim

语言

36,277 篇 英文
463 篇 其他
390 篇 中文
11 篇 葡萄牙文
10 篇 西班牙文
10 篇 乌克兰文
9 篇 俄文
7 篇 法文
2 篇 德文
2 篇 日文
1 篇 斯洛伐克文

检索条件"任意字段=19th International Conference on Software Engineering and Knowledge Engineering"

共 37153 条记录，以下是111-120 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Automated Programming Exercise Generation in the Era of Large Language Models 36

Automated Programming Exercise Generation in the Era of Larg...

引用

36th international conference on software engineering Education and Training (CSEE and T)

作者： Meissner, Niklas Speth, Sandro Becker, Steffen Univ Stuttgart Inst Software Engn Stuttgart Germany

ISBN: (纸本)9798350378986;9798350378979

Lecturers are increasingly attempting to use large language models (LLMs) to simplify and make the creation of exercises for students more efficient. Efforts are also being made to automate the exercise creation process in software engineering (SE) education. this study explores the use of advanced LLMs, including GPT-4 and LaMDA, for automated programming exercise creation in higher education and compares the results with related work using GPT-3.5-turbo. Utilizing applications such as ChatGPT, Bing AI Chat, and Google Bard, we identify LLMs capable of initiating different exercise designs. However, manual refinement is crucial for accuracy. Common error patterns across LLMs highlight challenges in complex programming concepts, while specific strengths in various topics showcase model distinctions. this research underscores LLMs' value in exercise generation, emphasizing the critical role of human supervision in refining these processes. Our concise insights cater to educators, practitioners, and other researchers seeking to enhance SE education through LLM applications.

关键词： AI-Generated Exercises Large Language Models Programming Exercises software engineering Education

来源：评论

学校读者我要写书评

暂无评论

PLACIDUS: engineering Product Lines of Rigorous Assurance Cases 19th

PLACIDUS: Engineering Product Lines of Rigorous Assurance Ca...

引用

19th international conference on Integrated Formal Methods

作者： Murphy, Logan Viger, Torin Di Sandro, Alessio Chechik, Marsha Univ Toronto Toronto ON Canada

ISBN: (纸本)9783031765537;9783031765544

In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., test results, proofs). ACs can also be studied as formal objects in themselves, such that formal methods can be used to establish their correctness. Creating rigorous ACs is particularly challenging in the context of software product lines (SPLs), wherein a family of related software products is engineered simultaneously. Since creating individual ACs for each product is infeasible, AC development must be lifted to the level of product lines. In this work, we propose PLACIDUS, a methodology for integrating formal methods and software product line engineering to develop provably correct ACs for SPLs. To provide rigorous foundations for PLACIDUS, we define a variability-aware AC language and formalize its semantics using the proof assistant Lean. We provide tool support for PLACIDUS as part of an Eclipse-based model management framework. Finally, we demonstrate the feasibility of PLACIDUS by developing an AC for a product line of medical devices.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

A Conceptual Model for Data Warehousing 19

A Conceptual Model for Data Warehousing

引用

19th international conference on Evaluation of Novel Approaches to software engineering, ENASE 2024

作者： Prakash, Deepika Prakash, Naveen Institute of Engineering and Technology Department of Computer Engineering JK Lakshmipat University Jaipur302026 India ICLC 21/3 S Bhagat Singh Marg New Delhi110001 India

ISBN: (纸本)9789897586965

We show that current approaches for data warehouse conceptual modelling are inadequate for capturing the range of analysis capabilities of the enterprise. In addressing this, our conceptual model retains the basic distinction between the analysis data and analysis parameters but additionally introduces intra analysis-data and intra analysis-parameters relationships besides relationships between analysis data and analysis parameter. A variety of constraints for enforcing analysis semantics are also defined. We convert the conceptual model to star schema and show procedures to do so. We illustrate the use of our model through an example. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Data warehouses

来源：评论

学校读者我要写书评

暂无评论

An experience report on the use of Active Learning in Empirical software engineering Education: Understanding the pros and cons from the student's perspective 46

An experience report on the use of Active Learning in Empiri...

引用

ACM/IEEE 44th international conference on software engineering: software engineering Education and Training (ICSE-SEET)

作者： Costa Meireles, Maria Alcimar Rocha, Sabrina Maldonado, Jose Carlos Conte, Tayana Univ Fed Amazonas Inst Technol Dev Manaus Amazonas Brazil Univ Fed Amazonas Manaus Amazonas Brazil Univ Sao Paulo Sao Carlos SP Brazil

ISBN: (纸本)9798400704987

Context: Recent years have witnessed a noteworthy surge in the emphasis on research and practice in Empirical software engineering (ESE). However, teaching this discipline through traditional pedagogical methods presents a challenge. Students typically acquire theories and concepts through lectures or expository classes but have limited opportunities to apply this knowledge. Goal: this report aims to share our experiences with the instructional process, using the Active Learning approach within the context of ESE education. Method: We describe an ESE course that was taught using active methodology principles. At the end of the course, we conducted a personal opinion survey to gather students' feedback. Results: the findings indicated that Active Learning principles can offer several advantages in ESE education. these include improved comprehension of course material, better retention of knowledge gained during classes, and enhanced preparation for involvement in scientific research. Conclusion: this experience provides insights into incorporating active learning principles into an ESE course. We also discuss lessons learned and suggest areas for improvement in future ESE courses.

关键词： Active Learning Empirical software engineering Teaching Process

来源：评论

学校读者我要写书评

暂无评论

Research on Intelligent Voice Broadcast System for Smart Water Conservancy 19

Research on Intelligent Voice Broadcast System for Smart Wat...

引用

19th international conference on Ubiquitous Information Management and Communication, IMCOM 2025

作者： Huang, Zhenqian Chen, Lanxin College of Computer Science and Software Engineering Hohai University Nanjing China University of Birmingham Birmingham United Kingdom

ISBN: (纸本)9798331507817

Smart water management imposes higher demands on the real-time capabilities and intelligence of watershed information monitoring systems. therefore, we propose an intelligent voice broadcast system for monitoring water information, aimed at achieving efficient and accurate dissemination of warning information. this system can be deployed and integrated into existing water information monitoring systems to enable real-time voice broadcasting of water-related information. To ensure the system’s timeliness and effectiveness, we propose a Performance Optimization Mechanism for Data Processing, Priority Control for voice broadcasting, a Content Optimization Mechanism, and a Timeliness Control Mechanism. Comparative experiments demonstrate that the proposed intelligent voice broadcast system significantly enhance the efficiency and accuracy of water information dissemination, providing an innovative solution for real-time monitoring and early warning in water management. © 2025 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Teaching software Ethics to Future software Engineers 46

Teaching Software Ethics to Future Software Engineers

引用

ACM/IEEE 44th international conference on software engineering: software engineering Education and Training (ICSE-SEET)

作者： Pant, Aastha Spiegler, Simone V. Hoda, Rashina Yoon, Jeremy Yusuf, Nabeeb Er, Tian Hu, Shenyi Monash Univ Fac Informat Technol Melbourne Vic Australia

ISBN: (纸本)9798400704987

the importance of teaching software ethics to software engineering (SE) students is more critical now than ever before as software-related ethical issues continue to impact society at an alarming rate. Traditional classroom methods, vignettes, role-play games, and quizzes have been employed over the years to teach SE students about software ethics. Recognising the significance of incorporating software ethics knowledge in SE education and the continued need for more efforts in the area of the teaching and learning of SE ethics, we developed an interactive, scenario-based software Ethics Quiz. Our goal was to teach SE students about ethics in a comprehensive, open, and engaging manner through a combined approach of an online lecture followed by an interactive workshop with the quiz and a debriefing session. the anonymous quiz responses collected showed promising results regarding the engagement and efficacy of the lecture and quiz, with a slightly better rating for the interactive quiz. the voluntary student feedback collected suggested that a majority of the participants found the debrief discussion on the quiz scenarios to be very beneficial for learning about software ethics. In this experience report, we share our experiences, related educational resources including the quiz, and recommendations from lessons learned with the wider education community to keep driving this critical topic forward.

关键词： ethics education quiz engagement software engineering

来源：评论

学校读者我要写书评

暂无评论

Bridging theory to Practice in software Testing Teaching through Team-based Learning (TBL) and Open Source software (OSS) Contribution 46

Bridging Theory to Practice in Software Testing Teaching thr...

引用

ACM/IEEE 44th international conference on software engineering: software engineering Education and Training (ICSE-SEET)

作者： Venson, Elaine Alfayez, Reem Univ Brasilia Brasilia DF Brazil King Saud Univ Coll Comp & Informat Sci Riyadh Saudi Arabia

ISBN: (纸本)9798400704987

Curricula recommendation for undergraduate software engineering courses underscore the importance of transcending from traditional lecture format to actively involving students in time-limited, iterative development practices. this paper presents a teaching approach for a software testing course that integrates theory and practical experience through the utilization of both TBL and active contributions to OSS projects. the paper reports on our experience implementing the pedagogical approach over four consecutive semesters of a software Testing course within an undergraduate software engineering program. the experience encompassed both online and in-person classes, involving a substantial cohort of over 300 students spanning four semesters. Students' perceptions regarding the course are analyzed and compared with previous, related studies. Our results are positively aligned with the existing literature of software engineering teaching, confirming the effectiveness of combining TBL with OSS contributions. Additionally, our survey has shed light on the challenges that students encounter during their first contribution to OSS projects, highlighting the need for targeted solutions. Overall, the experience demonstrates that the proposed pedagogical structure can effectively facilitate the transition from theoretical knowledge to real-world practice in the domain of software Testing.

关键词： software engineering Education Team-Based Learning Open Source software software Testing

来源：评论

学校读者我要写书评

暂无评论

Pattern-based System of Systems engineering Approach for Resilient and Sustainable Production Networks - A Review and Framework Proposal 19

Pattern-based System of Systems Engineering Approach for Res...

引用

19th Annual international IEEE conference on System of Systems engineering (SoSE)

作者： Niemeyer, Jan Felix Dormeier, Christopher Mennenga, Mark Tech Univ Carolo Wilhelmina Braunschweig Inst Machine Tools & Prod Technol Chair Sustainable Mfg & Life Cycle Engn Braunschweig Germany Tech Univ Carolo Wilhelmina Braunschweig Chair Hightech Innovat & Entrepreneurship Braunschweig Germany

ISBN: (纸本)9798350365924;9798350365917

the conditions under which companies create value are becoming increasingly complex and the requirements for resilient and sustainable production networks (R&SPN) are growing. In consequence, it is no longer sufficient to focus on a focal company. A holistic view on the entire production network must be taken instead of solely focusing on the focal company's internal operations. We show that such R&SPN, which consist of different companies, fulfill the characteristics of a System of Systems (SoS) and can hence be understood as such. Design patterns are a promising approach for effective engineering based on best practices. their transfer to SoS engineering previously led to the definition of generic pattern descriptions. In this paper, we conduct a systematic literature review to propose a framework for a generic pattern description applicable to R&SPN. Here we consider the micro- (focal company) and meso- (supply chain / production network) levels and finally propose a case-based reasoning (CBR) approach to realize a pattern-based engineering of R&SPN.

关键词： System of Systems engineering Design Pattern Sustainability Resilience Production Network Systematic Literature Review

来源：评论

学校读者我要写书评

暂无评论

the Cyber Safe Position: An STPA for Safety, Security, and Resilience Co-engineering Approach 24

The Cyber Safe Position: An STPA for Safety, Security, and R...

引用

19th international conference on Availability, Reliability, and Security (ARES)

作者： Gkoktsis, Georgios Peters, Ludger Fraunhofer SIT Darmstadt Hessen Germany ATHENE Darmstadt Hessen Germany

ISBN: (纸本)9798400717185

Model Based Security engineering (MBSE) is a growing field of research, which is gaining popularity in the domain of Safety, Security, and Resilience Co-engineering. the System theoretic Process Analysis (STPA) is a method for systematically analyzing the behavior of complex systems to investigate their failure modes and the Unsafe Control Actions (UCA) that can lead to those failure modes. this paper expands the methodological scope of STPA, by including an iterative Root-Cause Analysis element, which examines the possible emergence of UCAs due to either malfunction, or malicious action. Output of the method are the attributes and constraints of Resilience Modes of system configuration and operation, named "Cyber Safe Position" (CSP). the proposed method is applied in the case study of a Photovoltaic Plant connected to a Virtual Power Plant (VPP).

关键词： Cyber Security Cyber-Resiliency,Systems Security engineering Model-Based Security engineering MBSE System theoretic Process Analysis STPA

来源：评论

学校读者我要写书评

暂无评论

GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph 24

GraphCoder: Enhancing Repository-Level Code Completion via C...

引用

39th ACM/IEEE international conference on Automated software engineering (ASE)

作者： Liu, Wei Yu, Ailun Zan, Daoguang Shen, Bo Zhang, Wei Zhao, Haiyan Jin, Zhi Wang, Qianxiang PKU MoE Key Lab High Confidence Software Technol PKU China Sch Comp Sci Beijing Peoples R China Chinese Acad Sci Inst Software Beijing Peoples R China Huawei Cloud Comp Technol Co Ltd Beijing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

the performance of repository-level code completion depends upon the effective leverage of both general and repository-specific knowledge. Despite the impressive capability of code LLMs in general code completion tasks, they often exhibit less satisfactory performance on repository-level completion due to the lack of repository-specific knowledge in these LLMs. To address this problem, we propose GraphCoder, a retrieval-augmented code completion framework that leverages LLMs' general code knowledge and the repository-specific knowledge via a graph-based retrieval-generation process. In particular, GraphCoder captures the context of completion target more accurately through code context graph (CCG) that consists of control-flow, data- and control-dependence between code statements, a more structured way to capture the completion target context than the sequence-based context used in existing retrieval-augmented approaches;based on CCG, GraphCoder further employs a coarse-to-fine retrieval process to locate context-similar code snippets with the completion target from the current repository. Experimental results demonstrate both the effectiveness and efficiency of GraphCoder: Compared to baseline retrieval-augmented methods, GraphCoder achieves higher exact match (EM) on average, with increases of +6.06 in code match and +6.23 in identifier match, while using less time and space.

关键词： Code completion Large language model Retrieval augmented generation Code graphs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共500页 << < 8 9 10 11 12 13 14 15 16 17 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：