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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,260 篇 会议
594 篇 期刊文献
548 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

24,563 篇 工学
- 15,691 篇 计算机科学与技术...
- 12,637 篇 软件工程
- 3,753 篇 电气工程
- 3,572 篇 信息与通信工程
- 3,125 篇 控制科学与工程
- 2,479 篇 化学工程与技术
- 2,414 篇 机械工程
- 2,214 篇 材料科学与工程（可...
- 1,783 篇 电子科学与技术（可...
- 1,533 篇 土木工程
- 1,323 篇 建筑学
- 1,308 篇 动力工程及工程热...
- 1,279 篇 生物工程
- 1,181 篇 生物医学工程（可授...
- 1,003 篇 力学（可授工学、理...
- 925 篇 仪器科学与技术
- 915 篇 交通运输工程
- 900 篇 安全科学与工程
9,395 篇 理学
- 4,429 篇 数学
- 2,897 篇 物理学
- 1,783 篇 化学
- 1,490 篇 生物学
- 1,189 篇 统计学（可授理学、...
- 972 篇 系统科学
6,004 篇 管理学
- 4,198 篇 管理科学与工程(可...
- 2,248 篇 图书情报与档案管...
- 2,142 篇 工商管理
1,108 篇 医学
- 999 篇 临床医学
- 912 篇 基础医学(可授医学...
986 篇 教育学
- 977 篇 教育学
913 篇 经济学
649 篇 法学
242 篇 农学
71 篇 军事学
65 篇 文学
16 篇 艺术学
3 篇 历史学

主题

1,823 篇 software enginee...
1,324 篇 software
665 篇 knowledge engine...
506 篇 computer science
415 篇 training
404 篇 computational mo...
386 篇 data mining
378 篇 covid-19
368 篇 application soft...
352 篇 feature extracti...
352 篇 artificial intel...
327 篇 software design
320 篇 computer archite...
309 篇 software systems
287 篇 deep learning
278 篇 programming
269 篇 semantics
259 篇 mathematical mod...
255 篇 conferences
255 篇 knowledge manage...

机构

52 篇 school of inform...
48 篇 school of comput...
46 篇 college of compu...
46 篇 nanjing univ sta...
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...
18 篇 school of comput...
18 篇 tsinghua univ sc...
18 篇 university of mi...
18 篇 state key labora...
17 篇 college of compu...
17 篇 department of el...
16 篇 school of softwa...

作者

26 篇 bernady o. apduh...
25 篇 li li
24 篇 lei wei
22 篇 liu yang
21 篇 jin zhi
19 篇 li yang
19 篇 wang qing
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
13 篇 singh bhim
13 篇 zhang dongmei
13 篇 liang peng

语言

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

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

共 37403 条记录，以下是601-610 订阅

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

详细简洁

排序：

Towards Human-Bot Collaborative software Architecting with ChatGPT 23

Towards Human-Bot Collaborative Software Architecting with C...

引用

27th international conference on Evaluation and Assessment in software engineering (EASE)

作者： Ahmad, Aakash Waseem, Muhammad Liang, Peng Fahmideh, Mahdi Aktar, Mst Shamima Mikkonen, Tommi Lancaster Univ Leipzig Sch Comp & Commun Leipzig Germany Univ Jyvaskyla Fac Informat Technol Jyvaskyla Finland Wuhan Univ Sch Comp Sci Wuhan Peoples R China Univ Southern Queensland Sch Business Darling Hts Qld Australia

ISBN: (纸本)9798400700446

Architecting software-intensive systems can be a complex process. It deals with the daunting tasks of unifying stakeholders' perspectives, designers' intellect, tool-based automation, pattern-driven reuse, and so on, to sketch a blueprint that guides software implementation and evaluation. Despite its benefits, architecture-centric software engineering (ACSE) suffers from a multitude of challenges. ACSE challenges could stem from a lack of standardized processes, socio-technical limitations, and scarcity of human expertise etc. that can impede the development of existing and emergent classes of software. software Development Bots (DevBots) trained on large language models can help synergise architects' knowledge with artificially intelligent decision support to enable rapid architecting in a human-bot collaborative ACSE. An emerging solution to enable this collaboration is ChatGPT, a disruptive technology not primarily introduced for software engineering, but is capable of articulating and refining architectural artifacts based on natural language processing. We detail a case study that involves collaboration between a novice software architect and ChatGPT to architect a service-based software. Future research focuses on harnessing empirical evidence about architects' productivity and explores socio-technical aspects of architecting with ChatGPT to tackle challenges of ACSE.

关键词： software Architecture ChatGPT Large Language Models DevBots

来源：评论

学校读者我要写书评

暂无评论

Future Skills in Psychology, software engineering and Healthcare and their Impact on Higher Education 27th

Future Skills in Psychology, Software Engineering and Health...

引用

27th international conference on Interactive Collaborative Learning-ICL

作者： Stang, Philipp Sedelmaier, Yvonne SRH Wilhelm Loehe Univ Appl Sci Merkurstr 19 D-90763 Furth Germany UMIT Tirol Hall Tirol Inst Psychol Hall Triol Germany Univ Appl Sci Coburg Friedrich Streib Str 2 D-96450 Coburg Germany

ISBN: (纸本)9783031856488;9783031856495

Future skills are becoming increasingly important. In our studies, the future skills for psychology, software engineering and healthcare are first recorded and characterized. A mixed methods research design is used for this purpose. In parts, this was done earlier through surveys on future skills for software engineering and healthcare. Additionally, in this article, the future skills for psychology are surveyed systematically. To this end, three different groups of stakeholders are surveyed using an explorative study with a qualitative cross-sectional design: students of psychology, lecturers of psychology at universities, and practitioners. the data were analyzed using a qualitative content analysis. the findings on future skills are then compared across psychology, software engineering and healthcare, before conclusions are drawn for teaching and learning concepts in engineering education.

关键词： future skills competence profiles psychology

来源：评论

学校读者我要写书评

暂无评论

What Challenges Do Developers Face About Checked-in Secrets in software Artifacts? 23

What Challenges Do Developers Face About Checked-in Secrets ...

引用

45th IEEE/ACM international conference on software engineering (ICSE)

作者： Basak, Setu Kumar Neil, Lorenzo Reaves, Bradley Williams, Laurie North Carolina State Univ Raleigh NC 27695 USA

ISBN: (纸本)9781665457019

throughout 2021, GitGuardian's monitoring of public Github repositories revealed a two-fold increase in the number of secrets (database credentials, API keys, and other credentials) exposed compared to 2020, accumulating more than six million secrets. To our knowledge, the challenges developers face to avoid checked-in secrets are not yet characterized. the goal of our paper is to aid researchers and tool developers in understanding and prioritizing opportunities for future research and tool automation for mitigating checked-in secrets through an empirical investigation of challenges and solutions related to checked-in secrets. We extract 779 questions related to checkedin secrets on Stack Exchange and apply qualitative analysis to determine the challenges and the solutions posed by others for each of the challenges. We identify 27 challenges and 13 solutions. the four most common challenges, in ranked order, are: (i) store/version of secrets during deployment;(ii) store/version of secrets in source code;(iii) ignore/hide of secrets in source code;and (iv) sanitize VCS history. the three most common solutions, in ranked order, are: (i) move secrets out of source code/version control and use template config file;(ii) secret management in deployment;and (iii) use local environment variables. Our findings indicate that the same solution has been mentioned to mitigate multiple challenges. However, our findings also identify an increasing trend in questions lacking accepted solutions substantiating the need for future research and tool automation on managing secrets.

关键词： challenges credentials developers empirical study secrets software secret management stack exchange

来源：评论

学校读者我要写书评

暂无评论

Product Lines of Graphical Modelling Languages 24

Product Lines of Graphical Modelling Languages

引用

27th international conference on Model Driven engineering Languages and Systems (MODELS)

作者： Garmendia, Antonio Guerra, Esther de lara, Juan Univ Autonoma Madrid Madrid Spain

ISBN: (纸本)9798400705045

Modelling languages are essential in many disciplines to express knowledge in a precise way. Furthermore, some domains require families of notations (rather than individual languages) that account for variations of a language. Some examples of language families include those to define automata, Petri nets, process models or software architectures. Several techniques have been proposed to engineer families of languages, but they often neglect the language's concrete syntax, especially if it is graphical. To fill this gap, we propose a modular method to build product lines of graphical modelling languages. Language features are defined in modules, which comprise both the abstract and graphical concrete syntax of the feature. A language variant is selected by choosing a valid configuration of modules, from which the abstract and concrete syntax of the variant is synthesised. Our approach permits composition and overriding of graphical elements (e.g., symbol styles, visualisation layers), the injection of pre-defined graphical styles into language families (e.g., to obtain a high-intensity contrast variant for accessibility), and the analysis of graphical conflicts at the product line level. We report on an implementation atop Eclipse/Sirius, and demonstrate its benefits by an evaluation which shows a substantial specification size reduction of our product line method with respect to a case-by-case specification approach.

关键词： software Language engineering Model-driven engineering Graphical Concrete Syntax Product Lines

来源：评论

学校读者我要写书评

暂无评论

Towards Trust-preserving Continuous Co-evolution of Digital Twins 19

Towards Trust-preserving Continuous Co-evolution of Digital ...

引用

19th IEEE international conference on software Architecture (ICSA)

作者： Bersani, M. M. Braghin, C. Cortellessa, V Gargantini, A. Grassi, V Lo Presti, F. Mirandola, R. Pierantonio, A. Riccobene, E. Scandurra, P. Politecn Milan Milan Italy Univ Milan Milan Italy Univ Aquila Laquila Italy Univ Bergamo Bergamo Italy Univ Roma Tor Vergata Rome Italy

ISBN: (纸本)9781665494939

Physical systems are complex, and their behaviour is typically affected by uncertainty caused by incomplete knowledge about their state and operations. the emergence of Digital Twins (DTs), i.e., virtual copies of physical systems, leverages the opportunity of supporting in-vitro diagnoses and decision-making. However, the adoption of DTs cannot neglect the trust that stakeholders have in them and in their insights. Here, we present a preliminary framework for architecting DTs where appropriate modeling notations, trust assurance, and co-evolution between DTs and physical systems are part of a holistic method aiming to guarantee that a DT conforms, in terms of configuration and behaviour, to its corresponding Physical Twin (PT).

关键词： Analytical models Uncertainty software architecture conferences Decision making Data models Digital twins

来源：评论

学校读者我要写书评

暂无评论

Domain knowledge Graph Completion Based on Attribute Hierarchy 7

Domain Knowledge Graph Completion Based on Attribute Hierarc...

引用

7th international conference on Electronic Information Technology and Computer engineering (EITCE)

作者： Lan, Ning Yang, Shuqun Software Engn Inst Guangzhou Dept Comp Sci Guangzhou 510980 Peoples R China Shanghai Univ Engn Sci Sch Elect & Elect Engn Shanghai 201620 Peoples R China

ISBN: (纸本)9798400708305

knowledge graph completion is to solve the problem of lack of entities and relations in knowledge graphs. Existing knowledge graph completion methods mainly embed entities and relations into latent vectors, and numerous researches have taken the rich relationships in knowledge graph into account such as category, entity, relation and semantic. However, only a few studies consider the relation between attributes, which is the basis of describing the entity. this paper proposes the Attribute Hierarchy knowledge Graph Completion (AH-KGC) method, aiming at leveraging the attribute relation to find the missing obligatory property of entities. Primarily, in AH-KGC, we have discussed the attributes prerequisite relation, which can be described as a tree-like hierarchical structure, and then adopt the search algorithm of preorder traversal based on the hierarchy to find out the missing attributes. Specifically, we prove that attribute prerequisite is a special case of implication, thus can obtain attribute hierarchy from implications relation, which can easily be obtained in much mature research such as expert systems and make full use of the knowledge in various fields to make up for the vacancy of domain knowledge in the knowledge graph. the experiment has been performed on the CN-DBpedia and Probase datasets. the result demonstrates that AH-KGC can effectively complete the missing attributes of entities in knowledge graphs and achieve 100% accuracy under our evaluation system.

关键词： knowledge graph completion attribute hierarchy implication relation

来源：评论

学校读者我要写书评

暂无评论

Understanding Self-Efficacy in software engineering Industry: An Interview study 23

Understanding Self-Efficacy in Software Engineering Industry...

引用

27th international conference on Evaluation and Assessment in software engineering (EASE)

作者： Ribeiro, Danilo Monteiro Lima, Rayfran Rocha Franca, Cesar de Souza, Alberto Cardoso-Pereira, Isadora Pinto, Gustavo Zup Innovat Sao Paulo SP Brazil Fac Senac Recife PE Brazil Cesar Sch Recife PE Brazil Univ Fed Rural Pernambuco Recife PE Brazil Zup Innovat Sao Paulo SP Brazil UFPA Belem Para Brazil Zup Innovat Belem Para Brazil

ISBN: (纸本)9798400700446

CONTEXT: Self-efficacy is a concept researched in various areas of knowledge that impacts various factors such as performance, satisfaction, and motivation. In software engineering, it has mainly been studied in the academic context, presenting results similar to other areas of knowledge. However, it is also important to understand its impact in the industrial context. OBJECTIVE: therefore, this study aims to understand the impact on the software development context with a focus on understanding the behavioral signs of self-efficacy in software engineers and how self-efficacy can impact the work-day of software engineers. MEthOD: A qualitative research was conducted using semi-structured questionnaires with 31 interviewees from a software development company located in Brazil. the interviewees participated in a Bootcamp and were later assigned to software development teams. thematic analysis was used to analyze the data. RESULTS: In the perception of the interviewees, 21 signs were found that are related to people with high and low self-efficacy. these signs were divided into two dimensions: social and cognitive. Also, 18 situations were found that can lead to an increase or decrease of self-efficacy of software engineers. Finally, 12 factors were mentioned that can impact software development teams. CONCLUSION: this work evidences a set of behavioral signs that can help team leaders to better perceive the self-efficacy of their members. It also presents a set of situations that both leaders and individuals can use to improve their self-efficacy in the development context, and finally, factors that can be impacted by self-efficacy in the software development context are also presented. Finally, this work emphasizes the importance of understanding self-efficacy in the industrial context.

关键词： Engineers

来源：评论

学校读者我要写书评

暂无评论

RoFIOS - Flexible Full-Stack software Solution for Metamorphic Robots 19

RoFIOS - Flexible Full-Stack Software Solution for Metamorph...

引用

19th IEEE international conference on Automation Science and engineering, CASE 2023

作者： Mrázek, Jan Barnat, Jirí Masaryk University Brno Czech Republic

ISBN: (纸本)9798350320695

Smart distributed robotic systems form an essential technology for Industry 4.0 as they provide extensive capabilities in the field of manufacturing. Such systems can be built using self-assembling metamorphic robots, which are constantly growing in popularity and are a vivid research area. Yet, surprisingly, the research communities seem to be somewhat split into the software and hardware side of the technology. In this paper, we address the gap between the community dealing with low-level hardware design and control of the physical robots and the community dealing with the software aspects of such robotic systems, including the issues of trust, adaptability, or usefulness. We present a complete software stack that addresses the needs of metamorphic robots and allows for adapting state-of-the-art solutions to control the whole metamorphic system. these include, e.g., a scenario in which we achieve a trustworthy digital twinning or seamlessly distributed interoperation of local and cloud control of the system. Moreover, we demonstrate the feasibility of our solution on top of the existing RoFI metamorphic hardware platform. © 2023 IEEE.

关键词： Machine design

来源：评论

学校读者我要写书评

暂无评论

REDUCING DATA REQUIREMENTS FOR WIENER SERIES IDENTIFICATION WIth GAUSSIAN PROCESS PRIORS

REDUCING DATA REQUIREMENTS FOR WIENER SERIES IDENTIFICATION ...

引用

ASME international Design engineering Technical conferences / 43rd Annual Computers and Information in engineering conference (IDETC-CIE) / 19th international conference on Multibody Systems, Nonlinear Dynamics, and Control (MSNDC)

作者： Massingham, Joseph Nielsen, Ole Butlin, Tore Univ Cambridge Cambridge England Bose Corp Framingham MA USA

ISBN: (纸本)9780791887387

System identification of nonlinear dynamical systems aims to predict the output of a system for a given input. In many engineering applications, the underlying physics are not fully understood and so there is no analytical solution. the Wiener series is a classical data-driven technique that decomposes the system response into a set of orthogonal functionals of increasing order. Unlike standard black-box algorithms, such as neural networks, the series is highly interpretable and can offer insight into the nonlinearities present. To date, in order to calculate higher order terms in the Wiener series, vast quantities of data are needed. In this paper, a novel formulation of the Wiener series is developed in the frequency domain which applies to general stochastic inputs with an arbitrary spectrum. It is enhanced by placing Gaussian process priors over the Wiener kernels to enforce prior knowledge of their structure. this significantly reduces the quantity of data required for inference and has the benefit of enabling the calculation of the third order kernel for systems with long memory. the benefits were demonstrated in initial investigations using an idealised nonlinear oscillatory system. Decomposition of the system response into Wiener functionals also sheds light on the learnability of nonlinear dynamical systems, which could be used to assess the value of collecting additional data.

关键词： Artificial neural networks System identification Algorithms Nonlinear dynamical systems Physics engineering systems and industry applications

来源：评论

学校读者我要写书评

暂无评论

Holistic (software) Quality theory. An Improved Definition and Meta-Model 19th

Holistic (Software) Quality Theory. An Improved Definition a...

引用

19th EAI international conference on Computer Science and Education in Computer Science, CSECS 2023

作者： Dinev, Dobromir M. New Bulgarian University Sofia Bulgaria

ISBN: (纸本)9783031446672

the current article introduces a short historical review of the roots of the holistic (software) quality theory. this review is used both as a presentation of the ground on which the holistic quality has been built upon and correspondingly to introduce a classification of the quality models known today. Since its introduction in 2017, the holistic (software) quality was several times enriched;one such advancement is part of the current work concerning the meta-model used to describe quality itself;thus, better control, management and etc., are achieved. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering 2023.

关键词： heuristic quality Holistic quality holistic quality definition holistic quality meta-model inherited quality quality models classification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 57 58 59 60 61 62 63 64 65 66 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：