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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

8,458 篇 会议
184 篇 期刊文献
47 册 图书

馆藏范围

8,689 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,727 篇 工学
- 3,142 篇 软件工程
- 2,636 篇 计算机科学与技术...
- 1,125 篇 电气工程
- 477 篇 信息与通信工程
- 407 篇 电子科学与技术（可...
- 335 篇 控制科学与工程
- 333 篇 机械工程
- 279 篇 动力工程及工程热...
- 207 篇 材料科学与工程（可...
- 204 篇 土木工程
- 192 篇 化学工程与技术
- 189 篇 建筑学
- 154 篇 仪器科学与技术
- 117 篇 安全科学与工程
- 116 篇 力学（可授工学、理...
- 109 篇 石油与天然气工程
- 108 篇 生物工程
- 89 篇 交通运输工程
- 81 篇 生物医学工程（可授...
1,272 篇 理学
- 755 篇 数学
- 358 篇 物理学
- 159 篇 统计学（可授理学、...
- 141 篇 化学
- 121 篇 生物学
- 109 篇 系统科学
880 篇 管理学
- 537 篇 管理科学与工程(可...
- 394 篇 图书情报与档案管...
- 288 篇 工商管理
187 篇 教育学
- 185 篇 教育学
116 篇 经济学
- 115 篇 应用经济学
86 篇 医学
80 篇 法学
48 篇 农学
23 篇 艺术学
18 篇 文学
13 篇 军事学

主题

953 篇 software enginee...
539 篇 application soft...
520 篇 software
449 篇 computer science
333 篇 programming
306 篇 computer archite...
303 篇 software systems
217 篇 hardware
214 篇 data mining
208 篇 software testing
179 篇 costs
173 篇 java
170 篇 computational mo...
156 篇 object oriented ...
152 篇 software algorit...
149 篇 software quality
146 篇 knowledge engine...
137 篇 software archite...
127 篇 prototypes
125 篇 educational inst...

机构

35 篇 nanjing univ sta...
30 篇 school of engine...
28 篇 school of comput...
24 篇 state key labora...
21 篇 school of inform...
21 篇 school of electr...
20 篇 school of comput...
19 篇 shanghai key lab...
19 篇 department of co...
17 篇 school of electr...
16 篇 nanjing univ dep...
15 篇 department of el...
14 篇 software enginee...
13 篇 nanjing univ sof...
13 篇 univ chinese aca...
13 篇 east china norma...
13 篇 school of comput...
13 篇 school of softwa...
13 篇 chinese acad sci...
12 篇 department of el...

作者

18 篇 wang wei
15 篇 ma xiaoxing
15 篇 lu jian
15 篇 xu chang
15 篇 lichter horst
14 篇 v. thiruchelvam
14 篇 yoshiki higo
14 篇 shinji kusumoto
13 篇 t. katayama
13 篇 doo-hwan bae
12 篇 shaoying liu
12 篇 shen beijun
12 篇 hironori washiza...
12 篇 m. saeki
12 篇 cao chun
12 篇 du xiaoyong
11 篇 chookaew sasitho...
11 篇 liu jing
11 篇 k. ushijima
11 篇 bae doo-hwan

语言

8,604 篇 英文
55 篇 中文
31 篇 其他

检索条件"任意字段=Pacific-Asia Conference on Knowledge Engineering and Software Engineering"

共 8689 条记录，以下是371-380 订阅

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

详细简洁

排序：

Statements versus predicates in spectral bug localization

Statements versus predicates in spectral bug localization

引用

17th asia pacific software engineering conference (APSEC)

作者： Naish, Lee Lee, Hua Jie Ramamohanarao, Kotagiri Univ Melbourne Comp Sci & Software Engn Melbourne Vic Australia

ISBN: (纸本)9780769542669

This paper investigates the relationship between the use of predicate-based and statement-based program spectra for bug localization. Branch and path spectra are also considered. Although statement and predicate spectra can be based on the same raw data, the way the data is aggregated results in different information being lost. We propose a simple and cheap modification to the statement-based approach which retains strictly more information. This allows us to compare statement and predicate "metrics" (functions used to rank the statements, predicates or paths). We show that improved bug localization performance is possible using single-bug models and benchmarks.

关键词： bug localization program spectra statements branches predicates paths

来源：评论

学校读者我要写书评

暂无评论

Evaluating Performance of Network Metrics for Bug Prediction in software 20

Evaluating Performance of Network Metrics for Bug Prediction...

引用

20th asia-pacific software engineering conference (APSEC)

作者： Prateek, Satya Pasala, Anjaneyulu Aracena, Luis Moreno Infosys Labs Bangalore Karnataka India Univ Chile Santiago Chile

ISBN: (纸本)9781479921430

Code-based metrics and network analysis based metrics are widely used to predict defects in software. However, their effectiveness in predicting bugs either individually or together is still actively researched. In this paper, we evaluate the performance of these metrics using three different techniques, namely, Logistic regression, Support vector machines and Random forests. We analysed the performance of these techniques under three different scenarios on a large dataset. The results show that code metrics outperform network metrics and also no considerable advantage in using both of them together. Further, an analysis on the influence of individual metrics for prediction of bugs shows that network metrics (except out-degree) are uninfluential.

关键词： Bug Prediction Network Analysis Metrics software Metrics Performance Evaluation software Maintenance

来源：评论

学校读者我要写书评

暂无评论

A Method to Derive software Architectures from Quality Requirements

A Method to Derive Software Architectures from Quality Requi...

引用

18th asia-pacific software engineering conference (APSEC)

作者： Alebrahim, Azadeh Hatebur, Denis Heisel, Maritta Univ Duisburg Essen Dept Comp Sci & Appl Cognit Sci Essen Germany

ISBN: (纸本)9780769546094

We present a model- and pattern-based method that allows software engineers to take quality requirements into account right from the beginning of the software development process. The method comprises requirements analysis as well as the derivation of a software architecture from requirements documents, in which quality requirements are reflected explicitly. For requirements analysis, we use an enhancement of the problem frame approach, where software development problems are represented by problem diagrams. The derivation of a software architecture starts from a set of problem diagrams, annotated with functional as well as quality requirements. First, we set up an initial software architecture, taking into account the decomposition of the overall software development problem into subproblems. Then, we incorporate quality requirements into that architecture by using security or performance patterns or mechanisms. The method is tool-supported, which allows developers to check semantic integrity conditions in the different models.

关键词： Quality-driven design quality requirements software architecture performance security

来源：评论

学校读者我要写书评

暂无评论

Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour 24

Automatic Generation of Monitoring Code for Model Based Anal...

引用

24th asia-pacific software engineering conference (APSEC)

作者： Szvetits, Michael Zdun, Uwe Univ Appl Sci Wiener Neustadt Software Engn Grp Wiener Neustadt Austria Univ Vienna Software Architecture Res Grp Vienna Austria

ISBN: (纸本)9781538636817

software systems are getting increasingly complex, which makes them inherently harder to understand and instrument when their behaviours should be analyzed and adapted. Observing a system requires an examination of its implementation and writing the appropriate monitoring code. This process can be both time consuming and error prone, especially if high-level system properties should be analyzed which are not directly reflected in the implementation. Furthermore, analysis needs often arise at runtime and are handled in an unsystematic way that is not reusable: For similar analysis tasks, the process of examining the system and writing the monitoring logic must be repeated. In this paper we present a language to specify recurring monitoring patterns which are automatically expanded into monitoring code for given models of the analyzed system. As a consequence, the effort for writing monitoring code is reduced and recurring analysis tasks are better supported through automatic code generation.

关键词： generation traceability model monitoring

来源：评论

学校读者我要写书评

暂无评论

Tool and guidelines support for capability maturity model's software subcontract management

Tool and guidelines support for capability maturity model's ...

引用

11th asia-pacific software engineering conference (APSEC 2004)

作者： Saemu, J Prompoon, N Chulalongkorn Univ Fac Engn Dept Comp Engn Bangkok Thailand

ISBN: (纸本)0769522459

Currently, software development organizations implement the software subcontract strategy as a solution to concentrate their core competencies. In order to produce quality project outcome, they should perform the efficient methodology to manage software subcontract process. software Subcontract Management (SSM) is a Key Process Area (KPA) in Level 2 of the Capability Maturity Model (CMM). This research proposes a prototype of software Subcontract Management System for advocating software subcontract activities according to CMM Key Practices by considering the main procedures. A management guidance is also proposed in this research.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic 22

Specifying Cyber-Physical System Safety Properties with Metr...

引用

22nd asia-pacific software engineering conference (APSEC)

作者： Sun, Haiying Liu, Jing Chen, Xiaohong Du, Dehui East China Normal Univ Shanghai Key Lab Trustworthy Comp Shanghai Peoples R China East China Normal Univ Natl Trustworthy Embedded Software Engn Res Ctr Shanghai Peoples R China

ISBN: (纸本)9781467396448

The safety properties of Cyber-Physical Systems have characteristics of both time and spatial attributes. Although various hybrid logic languages have been proposed to represent and reason properties with both time and spatial attributes, most of them are not concerned on the quantitative problem which is important for mission-critical CPSs to specify and verify safety properties. In this paper, we propose a language named metric temporal-spatial logic (MTSL) to solve the problem. MTSL is the combination result of the metric temporal logic (MTL) and the spatial logic S4(u). It can represent and reason CPS safety properties with both temporal and spatial attributes in a time quantitative manner. Based on different expressivity requirements, we define two kinds of MTSL languages named MTSLtPC and MTSLtOC. Their computational complexity of satisfiability problem are analysed. Moreover, in order to construct a decidable metric temporal-spatial logic which can be used to define safety properties, we also point out that one may use safety metric temporal logic (SMTL) as the temporal language. The application of MTSLs are illustrated by case studies coming from transportation domain.

关键词： Cyber-Physical Systems Quantitative Safety Property Temporal-spatial Logic

来源：评论

学校读者我要写书评

暂无评论

Integrating Model-Based Testing in Model-Driven Web engineering

Integrating Model-Based Testing in Model-Driven Web Engineer...

引用

18th asia-pacific software engineering conference (APSEC)

作者： Escott, Eban Strooper, Paul Steel, Jim King, Paul Univ Queensland Sch Informat Technol & Elect Engn Brisbane Qld Australia ASERT Brisbane Qld Australia

ISBN: (纸本)9780769546094

Much of the research into testing model-driven systems has focused on checking the models used to drive code generation, and testing the transformations that are used. This is predicated upon the use of full code generation. However, much of the model-driven system development used in practice is based on the use of partial code generation, where the developer implements sections of the system by modifying or adding to the generated code. In these situations, it is important to test for problems in or caused by this manually modified code. In this paper, we present a pragmatic approach to testing model-driven systems based on partial code generation. Our approach uses model-based testing techniques based on reuse of development models to drive test case generation.

关键词： Model-driven web engineering Model-Based Testing MBT UML

来源：评论

学校读者我要写书评

暂无评论

A Design Method for Domain-Specific Models of software Requirements Specification Based on Stakeholders' Concerns 25

A Design Method for Domain-Specific Models of Software Requi...

引用

25th asia-pacific software engineering conference (APSEC)

作者： Takoshima, Akiyuki Aoyama, Mikio DENSO CORP Software Prod Innovat Div Kariya Aichi Japan Nanzan Univ Dept Software Engn Nagoya Aichi Japan

ISBN: (纸本)9781728119700

In order to appropriately define and share the requirements among stakeholders involved in software development, a model of software Requirements Specification ( SRS), which defines requirement items and their organization, is required. There exist a number of models of SRS such as the one proposed by ISO 29148. However, they are generic and not enough to represent domain-specific requirements. In this paper, we propose a systematic method to design domain-specific models of SRS by extending the existing models of SRS with requirement items for domain-specific requirements. The proposed method derives domain-specific requirement items that should be added to the reference model from the stakeholder concerns about the domain characteristics. We apply the proposed method to the automotive software domain and evaluate its effectiveness.

关键词： software Requirements Specification SRS Quality Function Deployment QFD

来源：评论

学校读者我要写书评

暂无评论

Mining Individual Performance Indicators in Collaborative Development Using software Repositories

Mining Individual Performance Indicators in Collaborative De...

引用

15th asia-pacific software engineering conference

作者： Zhang, Shen Wang, Yongji Xiao, Junchao Chinese Acad Sci Lab Internet Software Technol Inst Software Beijing 100190 Peoples R China

ISBN: (纸本)9780769534466

A better understanding of the individual developers' performance has been shown to result in benefits such as improved project estimation accuracy and enhanced software quality assurance. However, new challenges of distinguishing the individual activities involved in software evolution arise when considering collaborative development environments. Since software repositories Such as version control systems (VCS) and bug tracking systems (BTS) are available for most software projects and hold a detailed and rich record of the historical development information, this, paper presents our experiences mining individual performance indicators ill collaborative development environments by using these repositories. The base of our key idea is to identify the complexity metrics (in the code base) and field defects (from bug tracking system) at individual-level by incorporating the historical data from version control system. We also remotely measure and analyze these indicators mined from a libre project jEdit, which involves around one hundred developer. The results show that these indicators are feasible and instructive in the understanding of the individual performance.

关键词： software quality

来源：评论

学校读者我要写书评

暂无评论

Fine-grained Pseudo-code Generation Method via Code Feature Extraction and Transformer 28

Fine-grained Pseudo-code Generation Method via Code Feature ...

引用

28th asia-pacific software engineering conference (APSEC)

作者： Yang, Guang Zhou, Yanlin Chen, Xiang Yu, Chi Nantong Univ Sch Informat Sci & Technol Nantong Jiangsu Peoples R China Nanjing Univ Aeronaut & Astronaut Minist Ind & Informat Technol Key Lab Safety Crit Software Nanjing Peoples R China Wuyi Univ Key Lab Cognit Comp & Intelligent Informat Proc F Wuyishan Fujian Peoples R China

ISBN: (纸本)9781665437844

Pseudo-code written by natural language is helpful for novice developers' program comprehension. However, writing such pseudo-code is time-consuming and laborious. Motivated by the research advancements of sequence-to-sequence learning and code semantic learning, we propose a novel deep pseudo-code generation method DeepPseudo via code feature extraction and Transformer. In particular, DeepPseudo utilizes a Transformer encoder to perform encoding for source code and then use a code feature extractor to learn the knowledge of local features. Finally, it uses a pseudo-code generator to perform decoding, which can generate the corresponding pseudo-code. We choose two corpora (i.e., Django and SPoC) from real-world large-scale projects as our empirical subjects. We first compare DeepPseudo with seven state-of-the-art baselines from pseudo-code generation and neural machine translation domains in terms of four performance measures. Results show the competitiveness of DeepPseudo. Moreover, we also analyze the rationality of the component settings in DeepPseudo.

关键词： Program Comprehension Pseudo-code generation Deep learning Transformer Code feature extraction

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 34 35 36 37 38 39 40 41 42 43 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：