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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,457 篇 会议
184 篇 期刊文献
47 册 图书

馆藏范围

8,688 篇 电子文献
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,271 篇 理学
- 754 篇 数学
- 358 篇 物理学
- 158 篇 统计学（可授理学、...
- 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,603 篇 英文
54 篇 中文
31 篇 其他

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

共 8688 条记录，以下是441-450 订阅

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

详细简洁

排序：

An account and appraisal of the ongoing development of the software engineering volume of CC2001 and its international applicability 9

An account and appraisal of the ongoing development of the s...

引用

9th asia/pacific software engineering conference (APSEC 2002)

作者： Thompson, JB Edwards, HM Univ Sunderland Sch Comp & Technol Sunderland SR6 0DD England

ISBN: (纸本)0769518508

Work is currently being undertaken under the auspices of the Association for Computing Machinery (A CM) and the Institute for Electrical and Electronic Engineers Computer Society (IEEE-CS) to produce the software engineering volume for the project known as Computing Curriculum 2001 (CC2001). The work undertaken to date is considered and details are presented of the approach that is being taken. Summaries are given of three major events that have been used to assist in the development and appraisal of the work: a workshop at the Fifteenth conference on software engineering Education and Training (CSEE&T 2002), an International Summit on software engineering Education (SSEE) which was colocated with the 24th IEEE-CS/ACM International conference on software engineering (ICSE2002), and a workshop held in Chicago in May 2002. Finally an appraisal regarding progress and what still needs to be addressed is given in terms of the principles defined for the project.

关键词： software engineering education undergraduate curricula Computing Curricula 2001

来源：评论

学校读者我要写书评

暂无评论

Extracting Traceability between Predicates in Event-B Refinement 24

Extracting Traceability between Predicates in Event-B Refine...

引用

24th asia-pacific software engineering conference (APSEC)

作者： Saruwatari, Shinnosuke Ishikawa, Fuyuki Kobayashi, Tsutomu Honiden, Shinichi Univ Tokyo Tokyo Japan Natl Inst Informat Tokyo Japan

ISBN: (纸本)9781538636817

Event-B requires engineers to satisfy proof obligations and inherit all predicates from abstract models while constructing concrete ones. Engineers typically derive predicates from abstract models through transformation with the intention of gradually refining the models. These kinds of intentions for refinement are essential for other engineers to understand the refinements. However, these are implicit and not directly specified in the models. Therefore, it is difficult to understand how each predicate in concrete models is obtained from the predicates in abstract models. This paper proposes an effective method of extracting these relationships. Our approach uses heuristics to avoid exhaustive matching between predicates. It tries to find a set of related predicates by tracing elements, such as variables and constants in predicates, and excluding predicates that use common variables, but differently. Our method facilitates understanding of the intentions of refinements and can be used to help reverse engineering by clarifying the relationships between predicates through refinements.

关键词： Integrated circuit modeling Business Industries Focusing software engineering Informatics Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Reasoning about Stakeholder Groups for Requirements Negotiation based on Power Relationships 20

Reasoning about Stakeholder Groups for Requirements Negotiat...

引用

20th asia-pacific software engineering conference (APSEC)

作者： Yang, Hui Liang, Peng Wuhan Univ Sch Comp State Key Lab Software Engn Wuhan Peoples R China

ISBN: (纸本)9781479921430

With the increasing complexity and uncertainty in requirements engineering (RE), the impact of power relationships between stakeholders becomes critical to the success of requirements engineering process, especially in requirements negotiation to resolve conflicting requirements. In this paper, we make use of the basic principles of requirements negotiation and define reasoning rules to reason about stakeholder groups for requirements negotiation, based on an extended i* modeling framework that represents the power relationships between stakeholders in RE. We derive decision-makers and supporter groups of conflicting requirements using the reasoning rules based on power relationships between stakeholders, and further reason about representative stakeholders from the supporter groups to participate in requirements negotiation activity. We describe the reasoning process and provide a concrete case of reasoning about stakeholder groups for requirements negotiation based on the extended i* model.

关键词： requirements negotiation stakeholder group reasoning i power relationships SWRL

来源：评论

学校读者我要写书评

暂无评论

Code Clone Graph Metrics for Detecting Diffused Code Clones

Code Clone Graph Metrics for Detecting Diffused Code Clones

引用

16th asia-pacific software engineering conference

作者： Fukushima, Yoshihiko Kula, Raula Kawaguchi, Shinji Fushida, Kyohei Nagura, Masataka Iida, Hajimu Nara Inst Sci & Technol Grad Sch Informat Sci Ikoma Nara Japan

ISBN: (纸本)9780769539096

Code clones (duplicated source code in a software system) are one of the major factors in decreasing maintainability. Many code clone detection methods have been proposed to find code clones automatically from large-scale software. However, it is still hard to find harmful code clones to improve maintainability because there are many code clones that should remain. Thus, to help find harmful code clones, we propose a code clone visualization method and a metrics application on the visualized information. Our method enables the location of harmful code clones diffused in a software system. We apply our method to three open source software programs and visualize their code clone information.

关键词： codeclone visualization software maintenance program comprehension

来源：评论

学校读者我要写书评

暂无评论

Verification of Distributed Embedded Real-Time Systems and Their Low-Level Implementations using Timed CSP

Verification of Distributed Embedded Real-Time Systems and T...

引用

18th asia-pacific software engineering conference (APSEC)

作者： Bartels, Bjoern Glesner, Sabine Berlin Inst Technol Software Engn Grp Berlin Germany Berlin Inst Technol Software Engn Embedded Syst Grp Berlin Germany

ISBN: (纸本)9780769546094

Process algebras like Timed CSP offer a convenient level of abstraction for the specification and verification of distributed embedded real-time systems. Complex systems can be specified in terms of interacting modules whose interaction can be analyzed using the mechanisms of the process algebra. In this paper, we present a development approach that supports the construction of distributed real-time systems by exploiting Timed CSP's concept of modularity. Individual system components are refined to their low-level implementations and shown to be a formally correct implementation of their respective Timed CSP specifications. Their interaction can then be analyzed by composing the individual process specifications. The key idea underlying the presented approach is a formal relation between timed process algebraic specifications and implementations given in a general purpose programming language.

关键词： formal verification embedded real-time systems process algebras low-level code Timed CSP LLVM

来源：评论

学校读者我要写书评

暂无评论

Empirical Analysis of the Impact of Requirements Traceability Quality to the Productivity of Enterprise Applications Developmentd

Empirical Analysis of the Impact of Requirements Traceabilit...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Saito, Shinobu Hoshino, Takashi Takeuchi, Mutsuki Hiraoka, Masatoshi Kitani, Tsuyoshi Aoyama, Mikio NTT Corp Software Innovat Ctr Tokyo Japan NTT DATA Corp Res & Dev Headquarters Tokyo Japan Nanzan Univ Dep Software Engn Seto Japan

ISBN: (纸本)9780769549224

The aim of our research is to empirically analyze the impact of requirements traceability quality to the productivity of the enterprise applications development. We analyze traceability links of Requirements Specification Documents (RSDs) collected from the enterprise applications development. These RSDs are classified into two groups in terms of project performance. One group includes RSDs of significant cost overrun projects;another group includes RSDs of normal range cost projects. Our analysis revealed that high quality of traceability in RSDs significantly reduces the cost overrun in the enterprise applications development.

关键词： traceability productivity statistical analysis

来源：评论

学校读者我要写书评

暂无评论

software Feature Location based on Topic Models

Software Feature Location based on Topic Models

引用

19th asia-pacific software engineering conference (APSEC)

作者： Nie, Kunming Zhang, Li Beihang Univ Sch Comp Sci & Engn Inst Software Engn Beijing Peoples R China

ISBN: (纸本)9780769549224

Feature location is the activity of identifying an initial location in the source code that implements special functionality in a software system. Existing techniques for feature location broadly fall into three categories, based on the type of information they use: text, static, and dynamic. The techniques based on dynamic may generate large amount of data and is difficult to utilize. This paper presents a method combing the text and static techniques. A feature location technique based on topic modeling is introduced, and the topic cohesion and coupling is computed by software dependency network to improve the effects of feature location. When the topic cohesion degree is low and topic coupling degree is high, software dependency network is used to find additional candidate program elements. This method is empirically evaluated through several experiments. Experimental results show that the topic modeling based feature location improves the effectiveness of feature location when compared with other techniques.

关键词： software Feature Location Topic Modeling Topic cohesion Topic Coupling

来源：评论

学校读者我要写书评

暂无评论

Capturing Strategic Business Requirements: An Exploratory Study

Capturing Strategic Business Requirements: An Exploratory St...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Babar, Abdul Wong, Bernard Univ Technol Sydney Fac Engn & Informat Technol Sydney NSW 2007 Australia

ISBN: (纸本)9780769549224

Since IT systems are used to support business strategies of an organisation, strategic business requirements therefore are the motivation of the majority the requirements engineering approaches. But current requirements engineering approaches do not capture strategic business requirements but rather focus on functional and non-functional types of requirements. In this exploratory study two groups of business analysts explored requirements from a business scenario where different stakeholder views were given. A number of views represented the viewpoints of top management and the other views represented the viewpoints of operational level staff of the organisation. The collected data showed that the requirements captured from top management are different from the requirements captured from operational level staff in a way that strategic business requirements refer to the future direction of the organisation, however the requirements captured from operational level staff are about functionality and constraints of the system. The results indicate that strategic business requirements are associated to the top management and to capture them, business analysts have to pursue top management of the organsation.

关键词： enterprise startegy functional Requirements software system

来源：评论

学校读者我要写书评

暂无评论

Semi-static Detection of Runtime Type Errors in Component-based Java Programs

Semi-static Detection of Runtime Type Errors in Component-ba...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Zhou, Xiaowei Zhang, Wenbo Zhang, Jianhua Chinese Acad Sci Inst Software Technol Ctr Software Engn Beijing 100190 Peoples R China

ISBN: (纸本)9780769549224

The using of multiple custom class loaders in component-based Java programs may lead to more runtime type errors. These errors can happen at various program statements and may be wrapped in different types of exceptions by JVM, therefore posing difficulties for dealing with them. Traditional static analysis approaches only consider static types and thus cannot detect many of them. We propose a semi-static approach based on points-to analysis and dynamically gathered behavior information of Java class loaders to detect runtime type errors in component-based Java programs without running them. We also implement a prototype tool for OSGi-based programs, where OSGi is a typical Java component framework.

关键词： Component-based Points-to Analysis Class Loader Semi-static Detection

来源：评论

学校读者我要写书评

暂无评论

Component composition through architectural patterns for problem frames

Component composition through architectural patterns for pro...

引用

13th asia-pacific software engineering conference

作者： Choppy, Christine Hatebur, Denis Heisel, Maritta Univ Paris 08 Inst Galilee LIPN Paris France Univ Duisburg Essen Fachbereich Ingenieurwissensch Inst Medientechn & Software Engn Essen Germany ITESYS Inst Tech Syst GmbH Dortmund Germany

ISBN: (纸本)9780769526850

In this paper we present a pattern-based software development process using problem frames and corresponding architectural patterns. In decomposing a complex problem into simple subproblems, the relationships between the subproblems are recorded explicitly. Based on this information, we give guidelines on how to derive the software architecture for the overall problem from the software architectures of the simple subproblems.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 41 42 43 44 45 46 47 48 49 50 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：