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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是231-240 订阅

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

详细简洁

排序：

Enhancement of a use cases based requirements engineering approach with scenarios

Enhancement of a use cases based requirements engineering ap...

引用

12th asia-pacific software engineering conference

作者： Somé, SS Univ Ottawa SITE Ottawa ON K1N 6N5 Canada

ISBN: (纸本)0769524656

Use Cases and Scenarios are sometimes considered as analogous. In this paper, we take the position that use cases and scenarios are different but play complementary roles in requirements engineering. A use case is a collection of scenarios. Use cases are appropriate as specification of a system required behavior in interaction with its actors. A scenario is an example of execution involving a system and its actors. A scenario may be defined with the intention that it should be supported or the intention that it should be avoided. Scenarios can thus be used to validate functional as well as non-functional requirements specification. We present an integration of scenarios to a use case based requirements engineering approach and discuss the merits of such integration.

关键词： Computer aided software engineering Virtual prototyping Prototypes software prototyping Information technology Design engineering Programming software engineering

来源：评论

学校读者我要写书评

暂无评论

software engineering for Autonomous Robot: Challenges, Progresses and Opportunities 27

Software Engineering for Autonomous Robot: Challenges, Progr...

引用

27th asia-pacific software engineering conference (APSEC)

作者： Mao, Xinjun Huang, Hao Wang, Shuo Natl Univ Def Technol Coll Comp Key Lab Software Engn Complex Syst Changsha 410073 Peoples R China

ISBN: (纸本)9781728195537

software engineering for autonomous robot (SE4AR) is an emerging interdisciplinary field with the aims to support the development, running and evolution of software systems for autonomous robot - a safety and mission critical cyber-physical system. Such field has recently gained increasing attentions from both academia and industry and made rapid progresses in the past years. However, many challenges pose on the SE4AR due to the specific features and complexities of autonomous robot software (ARS) and several open problems should be tackled in the future researches. This paper aims to present a comprehensive investigation on the researches and practices of SE4AR. Our contributions are three-fold as follows: an in-depth analysis on the development challenges, a systematic review on the current progresses, and an open discussion of weaknesses in current researches and opportunities in future researches.

关键词： software engineering autonomous robot software cyber-physical system

来源：评论

学校读者我要写书评

暂无评论

Fuzzy concepts and formal methods: Some illustrative examples 7

Fuzzy concepts and formal methods: Some illustrative example...

引用

7th asia-pacific software engineering conference (ASPEC 2000)

作者： Matthews, C Swatman, PA Deakin Univ Sch Management Informat Sci Geelong Vic 3217 Australia

ISBN: (纸本)0769509169

It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour However some system problems, particularly those drawn from the IS problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This paper identifies the problem types of interest and argues that they are characterised by uncertainty and imprecision. It suggests fuzzy set theory as a useful formalism for modelling aspects of this imprecision. The paper illustrates how a fuzzy logic tooklit for Z can be applied to such problem domains. Several examples are presented illustrating the representation of imprecise concepts as fuzzy sets and relations, soft pre- conditions and system requirements as a series of linguistically quantified propositions.

关键词： Decision making Fuzzy logic Fuzzy sets Humans Information management Information technology Set theory software safety Technology management Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Kurtosis and Skewness Adjustment for software Effort Estimation 25

Kurtosis and Skewness Adjustment for Software Effort Estimat...

引用

25th asia-pacific software engineering conference (APSEC)

作者： Fukui, Seiji Monden, Akito Yucel, Zeynep Okayama Univ Grad Sch Nat Sci & Technol Okayama Japan

ISBN: (纸本)9781728119700

To avoid software development project failure, accurate estimation of software development effort is necessary at the beginning of a software project. This paper proposes to adjust the kurtosis and the skewness of project feature variables for better fitting of software estimation models. The proposed method conducts logarithmic transformation of variables, then conducts the kurtosis and skewness transformation to make the variable distribution closer to the normal distribution. To empirically evaluate the effectiveness of the proposed method, we employed three industry data sets and linear regression models with threefold cross validation. The result of the evaluation showed that the models with the proposed method were better in both the goodness of fit and the estimation accuracy in terms of MMRE compared to log-log regression.

关键词： software metrics modeling normal distribution

来源：评论

学校读者我要写书评

暂无评论

Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata 30

Towards Formal Verification of Behaviour-Driven Development ...

引用

30th asia-pacific software engineering conference (APSEC)

作者： Kang, Eun-Young Silva, Thiago Rocha Univ Southern Denmark Maersk McKinney Moller Inst Odense Denmark

ISBN: (纸本)9798350344172

This paper introduces an approach for translating Behaviour-Driven Development (BDD) scenarios written under a domain-specific language (DSL) into Timed Automata (TA) to allow for formal verification of real-time systems. A set of mapping rules is presented to facilitate the translation. We demonstrate the feasibility of our approach through an illustrative example of a vending machine that operates under a particular set of time constraints. Our proof-of-concept indicates that this approach is an important step towards ensuring compatibility between highlevel software specifications (BDD scenarios) and formal models (TA models). We also discuss the current limitations of such work along with recommendations on how these might be addressed.

关键词： Behaviour-Driven Development (BDD) Model-Driven engineering software Verification Model Checking

来源：评论

学校读者我要写书评

暂无评论

Genericity in method construction

Genericity in method construction

引用

asia-pacific software engineering conference / International Computer Science conference (APSEC 97 / ICSC 97)

作者： Plihon, V Rolland, C Univ Toulon & Var GECT F-83957 La Garde France

ISBN: (纸本)081868271X

The new emerging field of Method engineering discipline acknowledges the need for a rapid construction of methods. In this paper, we propose an approach aiming to fulfil this objective. The approach is based on the assumption that there exists generic method construction knowledge which can be formalised into method construction patterns for further reuse. Under our approach, the construction of a method consists of applying the generic method construction patterns to its product model in order to generate the process model. The paper proposes a set of patterns To cover the various aspects of system engineering, details and exemplifies some of them, and finally validates the patterns against existing methods.

关键词： Systems engineering

来源：评论

学校读者我要写书评

暂无评论

A lifecycle-based design methodology of lightweight ontology and its application to cultivating high quality Mandarin orange 21

A lifecycle-based design methodology of lightweight ontology...

引用

21st asia-pacific software engineering conference, APSEC 2014

作者： Fujimoto, Reiko Aoyama, Mikio Graduate Program of Software Engineering Graduate School of Sciences and Engineering Nanzan University Seto Japan Department of Software Engineering Faculty of Science and Engineering Nanzan University Seto Japan

ISBN: (纸本)9781479974252

Information technology is introduced to agriculture in order to improve all the cultivating process and the quality of the products. In this article, we propose a method to organize the cultivated knowledge with a focus on the life cycle process, based on the concept of lightweight ontology. We also propose a method for acquiring the knowledge easily by applying the technology of software engineering. We interviewed the farmers cultivating high quality Mandarin orange and organized the ontology using the proposed method, and show the effectiveness of the proposed method. © 2014 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

knowledge scouts: Reducing communication barriers in a distributed software development project

Knowledge scouts: Reducing communication barriers in a distr...

引用

8th asia-pacific software engineering conference

作者： Dutoit, AH Johnstone, J Bruegge, B Tech Univ Munich Inst Informat D-8000 Munich Germany

ISBN: (纸本)0769514081

As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly, more distributed. Distribution, however introduces major communication barriers, including time zone differences, cultural differences, and most project participants have not met face to face. In this paper we focus on "knowledge scouts," developers that travel briefly, to other sites and report back to their home base what they, discovered and learned. With a case study we show how knowledge scouts overcome many communication issues. We propose that the research focus should be on the simpler problem of supporting the small mobile group of developers as a means of addressing the inherent communication obstacles in distributed software projects.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Service-based software: The future for flexible software 7

Service-based software: The future for flexible software

引用

7th asia-pacific software engineering conference (ASPEC 2000)

作者： Bennett, K Layzell, P Budgen, D Brereton, P Macaulay, L Munro, M UMIST Dept Computat Manchester M60 1QD Lancs England

ISBN: (纸本)0769509169

For the past 40 years, the techniques processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards developers rather than users. To achieve the levels of functionality, flexibility and time to market required by users, a radical shift is required in the development of software, with a more demand-centric view leading to software which will be delivered as a service within the framework of an open marketplace. Already, there are some signs that this approach is being adopted by industry but in a vary limited way We summarise research and a research method which has resulted in a long-term strategic view of software engineering innovation. Based on this foundation, we describe more recent work which has resulted in an innovative demand-side model for the future of software. We propose a service architecture in which components may be bound instantly, just at the time they are needed and then the binding may be discarded A major benefit of this approach is that it leads to highly flexible and agile software, that should be able to meet rapidly changing business needs.

关键词： Computer architecture Computer industry Computer science Failure analysis Marine vehicles Programming software engineering software quality Technological innovation Time to market

来源：评论

学校读者我要写书评

暂无评论

Automated Support for software Cost Estimation using Web-CoBRA

Automated Support for Software Cost Estimation using Web-CoB...

引用

15th asia-pacific software engineering conference

作者： Keung, Jacky Jeffery, Ross NICTA Ltd Sydney NSW Australia UNSW CSE Sydney NSW Australia

ISBN: (纸本)9780769534466

software cost estimation is a crucial yet very difficult task for a project manager at the very beginning of a new project. Since software projects are always different in nature, past projects may not necessarily cover all aspects of a new project when used as a basis for cost estimation. The CoBRA hybrid cost estimation technique uses expert knowledge to build a causal model of context-specfic cost factors and past project data to predict costs in terms of effort as well as to assess the risks of a project. Further practical advantages of CoBRA are its high level of interpretability and its transparency. While our previous studies have shown that it modified CoBRA called Web-CoBRA produces higher prediction accuracy, the method was not fully adopted by our industry partner because of its complex application steps when it is manually performed. In this paper, we report on our experiences with further automating Web-CoBRA based software cost estimation for a software company. It supports group decision-making processes by utilizing a wideband Delphi technique. We identify a range of problems when applying Web-CoBRA in the context of a software company and describe the approaches we used to solve these problems in our new tool called EffortWatch. Furthermore, we report on the evaluation and the effectiveness of EffortWatch using a technology acceptance model (TAM) questionnaire. The result is then compared with a previous study, showing EffortWatch drastically improves the use of the Web-CoBRA technique.

关键词： Cost estimating

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：