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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

software Quality Construction: Empirical Study on the Role of Requirements, Stakeholders and Resources

Software Quality Construction: Empirical Study on the Role o...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Seth, Frank Philip Mustonen-Ollila, Erja Taipale, Ossi Smolander, Kari Lappeenranta Univ Technol Dept Informat Technol Lappeenranta Finland

ISBN: (纸本)9780769549224

The objective of this qualitative case study was to observe and describe how software quality is constructed in software development organizations. Eleven software programmers, testers, quality control personnel, requirement managers and research and development personnel were interviewed and common practices of quality construction analyzed. The findings indicated that quality construction practices vary considerably across different organizations. Differences were noted in the type and extent of customer involvement in software development, methods used for requirements elicitation, and objectives of software testing. Based on the results, the following conclusions are drawn. First, requirements elicitation in software development is an ongoing process even after the product has been delivered to the customer. Second, the quality characteristics of the software depend on the type of software, user and application domain. Third, a quality software product is not necessarily technically the best but it must satisfy customer needs. Fourth, the quality of the software is resource-dependent.

关键词： software product quality quality construction requirements

来源：评论

学校读者我要写书评

暂无评论

ESAD: An Intensive Retreat Program for Embedded System Architect Developing

ESAD: An Intensive Retreat Program for Embedded System Archi...

引用

17th asia pacific software engineering conference (APSEC)

作者： Matsuzawa, Yoshiaki Noguchi, Yasuhiro Mori, Takao Shima, Satoshi Shiomi, Akichika Shizuoka Univ Fac Informat Naka Ku Hamamatsu Shizuoka Japan Nagoya Univ Ctr Embedded Comp Syst Chikusa Ku Nagoya Aichi Japan

ISBN: (纸本)9780769542669

This is a report of the Embedded System Architect Developing (ESAD) program that is currently being conducted in Hamamatsu city, Shizuoka prefecture in Japan. The program has been designed for limited experienced practitioners who expect to be Embedded System Architect (ESA) in the future. In an intensive retreat environment, this program provides future ESAs with a project-based curriculum that covers software engineering, process control systems, and systems engineering. The aim of the program is not only to encourage a deeper understanding of the relevant technology, but also to promote the development of an inter-industry engineers' community in the Hamamatsu area. The program has been conducted three times during 2008 and 2009, with approximately twelve future ESAs participating in each cycle. The beneficial effects of ESAD have been confirmed by observation and feedback from the program participants.

关键词： Embedded System Architect engineering Education Intensive Retreat Program Project-Based Learning

来源：评论

学校读者我要写书评

暂无评论

Incomplete software Requirements and Assumptions Made by software Engineers

Incomplete Software Requirements and Assumptions Made by Sof...

引用

16th asia-pacific software engineering conference

作者： Albayrak, Oezlem Kurtoglu, Huelya Bicakci, Mert Bilkent Univ Dept Comp Technol & Informat Syst TR-06800 Ankara Turkey STM Def Technol Engn Inc Dept Sofware Engn Bilkent 06800 Turkey

ISBN: (纸本)9780769539096

Many software engineers make implicit assumptions when working with incomplete software requirements. To study assumptions made by software engineers while converting incomplete requirements to software design or to implementation phase deliverables, we conducted an experiment with 251 software engineers from eight companies. The results of this empirical study showed that how software engineers responded (using source code, pseudo code, or prototype) to an incomplete requirement significantly impacted the number of explicit assumptions they made. We studied relationships between the number of explicit assumptions and the engineers' experience and educational backgrounds. On average, non-computer-background engineers made more explicit assumptions than computer-background graduates. We found a significant relationship between the engineers' experience and the number of explicit assumptions made. We discuss the results and their implications.

关键词： incomplete software requirements assumption

来源：评论

学校读者我要写书评

暂无评论

A Systematic Review of Logging Practice in software engineering 24

A Systematic Review of Logging Practice in Software Engineer...

引用

24th asia-pacific software engineering conference (APSEC)

作者： Rong, Guoping Zhang, Qiuping Liu, Xinbei Gu, Shenghiu Nanjing Univ Software Inst Nanjing Jiangsu Peoples R China Nanjing Univ Dept Comp Sci & Technol Nanjing Jiangsu Peoples R China

ISBN: (纸本)9781538636817

Background: Logging practice is a critical activity in software development, which aims to offer significant information to understand the runtime behavior of software systems and support better software maintenance. There have been many relevant studies dedicated to logging practice in software engineering recently, yet it lacks a systematic understanding to the adoption state of logging practice in industry and research progress in academia. Objective: This study aims to synthesize relevant studies on the logging practice and portray a big picture of logging practice in software engineering so as to understand current adoption status and identify research opportunities. Method: We carried out a systematic review on the relevant studies on logging practice in software engineering. Results: Our study identified 41 primary studies relevant to logging practice. Typical findings are: (1) Logging practice attracts broad interests among researchers in many concrete research areas. (2) Logging practice occurred in many development types, among which the development of fault tolerance systems is the most adopted type. (3) Many challenges exist in current logging practice in software engineering, e.g., tradeoff between logging overhead and analysis cost, where and what to log, balance between enough logging and system performance, etc. Conclusion: Results show that logging practice plays a vital role in various applications for diverse purposes. However, there are many challenges and problems to be solved. Therefore, various novel techniques are necessary to guide developers conducting logging practice and improve the performance and efficiency of logging practice.

关键词： Logging Practice Systematic Literature Review software engineering

来源：评论

学校读者我要写书评

暂无评论

Supporting change propagation in the maintenance and evolution of service-oriented architectures

Supporting change propagation in the maintenance and evoluti...

引用

17th asia pacific software engineering conference (APSEC)

作者： Hoa Khanh Dam Ghose, Aditya Univ Wollongong Sch Comp Sci & Software Engn Wollongong NSW 2522 Australia

ISBN: (纸本)9780769542669

As Service-Oriented Architecture (SOA) continues to be broadly adopted, the maintenance and evolution of service-oriented systems become a growing issue. Maintenance and evolution are inevitable activities since almost all systems that are useful and successful stimulate user-generated requests for change and improvement. A critical issue in the evolution of SOA is change propagation: given a set of primary changes that have been made to the SOA model, what additional secondary changes are needed to maintain consistency across multiple levels of the SOA models. This paper presents how an existing framework can be applied to effectively support change propagation within a SOA model. We also propose to extend this framework with a minimal modification strategy that helps select change options in a manner that accommodates the structural and semantic dimensions of SOA models.

关键词： Service oriented architecture maintenance and evolution change propagation

来源：评论

学校读者我要写书评

暂无评论

Seamless Code Reuse with Source Code Corpus 20

Seamless Code Reuse with Source Code Corpus

引用

20th asia-pacific software engineering conference (APSEC)

作者： Yamamoto, Tetsuo Yoshida, Norihiro Higo, Yoshiki Nihon Univ Coll Engn Koriyama Fukushima 963 Japan Nara Inst Sci & Technol Nara 6300101 Japan Osaka Univ Suita Osaka Japan

ISBN: (纸本)9781479921430

Code reuse is attracting much attention as a promising technique for efficient software development. However, code reuse itself requires human resources: for example, searching and opening source files including code fragments that users would like to reuse, or considering keywords in using code search systems. The present paper proposes a novel technique that hardly requires such reuse cost. In the proposed technique, what programmers have to do for obtaining reusable code is just inputting a trigger key for code reuse on their development environments. Also, this paper describes some applications on OSS with a prototype tool working on Eclipse.

关键词： software reuse reuse Reuse SEAMLESS Codes ECLIPSES Human Resource Management software design computer software Source code

来源：评论

学校读者我要写书评

暂无评论

Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules

Invariant-preserved Transformation of State Machines from Eq...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Zhang, Min Ogata, Kazuhiro Japan Adv Inst Sci & Technol Res Ctr Software Verificat Tokyo Japan Japan Adv Inst Sci & Technol Grad Sch Informat Sci Tokyo Japan

ISBN: (纸本)9780769549224

A state machine can be specified as either an equational theory or a rewrite theory in algebraic approaches. The former is used for theorem proving, and the latter for model checking. We have proposed an approach to transform a class of equational theories into rewrite theories in order to use them in the combination of the two verification techniques. This paper shows the correctness of the transformation with respect to its preservation of invariant properties. Invariant-preservation guarantees that a counterexample found by model checking a generated rewrite theory is also a counterexample of the same invariant in the original equational theory, which provides the theoretical support to the utilization of the transformation in combination of theorem proving and model checking.

关键词： Rewrite theory equational theory transformation invariant state machine formal verification

来源：评论

学校读者我要写书评

暂无评论

Attribute-Based Architecture Patterns for Lightweight Service-Oriented Architectures

Attribute-Based Architecture Patterns for Lightweight Servic...

引用

16th asia-pacific software engineering conference

作者： Aoyama, Mikio Ikezaki, Takashi Nakamichi, Noboru Nanzan Univ Dept Software Engn Seto Japan

ISBN: (纸本)9780769539096

Extending the applications of SOA (Service-Oriented Architecture) to embedded/mobile service systems requires the asynchronous and lightweight messaging. However, conventional SOA focuses on the synchronous and heavyweight messaging such as SOAP. Furthermore, the lightweight messaging is diverse. Designing lightweight SOA, a class of SOA based on the lightweight messaging, is complicated. To accommodate the complexity of designing lightweight SOA, we propose ABAP (Attribute-Based Architecture Pattern), a set of architecture patterns of lightweight SOA and mode-based development method of ABAP by focusing on the attributes of the structure and behavior of lightweight SOA. ABAP enables to systematically design lightweight SOA with model and patterns. We demonstrate the feasibility of the proposed method with an example.

关键词： software architecture architecture patterns service-oriented architecture

来源：评论

学校读者我要写书评

暂无评论

Model Driven software Security Architecture of Systems-of-Systems 23

Model Driven Software Security Architecture of Systems-of-Sy...

引用

23rd asia-pacific software engineering conference (APSEC)

作者： El Hachem, Jamal Pang, Zi Yang Chiprianov, Vanea Babar, Ali Aniorte, Philippe Univ Pau & Pays Adour LIUPPA Pau France Univ Adelaide Adelaide SA Australia

ISBN: (纸本)9781509055753

Recently, there is a growing interest in Systems of Systems (SoS), their architecture, security and application domains. However, their specific characteristics such as the operational independence of SoS constituent systems (CS), the absence of central authority and their emergent behavior make the modeling of their structure, behavior and security a complex task. One of the current main security challenges in the context of SoS is the cascading attack problem. The challenge is to predict the concatenation/sequence of CS's vulnerabilities that could be triggered resulting in destructive cascading failures and take corrective actions to reduce the cost, development time and effect of later changes. In this paper, we propose a domain specific modeling language (DSML) to represent SoS security architecture. Having SoS security models will enable the discovery, analysis and resolution of cascading attacks, in the architecture phase, preventing development time and cost wastage. Following a Model Driven engineering (MDE) approach, we generate a graphical editor for our DSML and use it to model a Smart Campus case study.

关键词： Model Driven engineering Model-based software engineering Modeling Language software Architecture Systems-of-Systems Security Smart Cities Smart Campus

来源：评论

学校读者我要写书评

暂无评论

NeoMycelia: A software reference architecturefor big data systems 28

NeoMycelia: A software reference architecturefor big data sy...

引用

28th asia-pacific software engineering conference (APSEC)

作者： Ataei, Pouya Litchfield, Alan Auckland Univ Technol Sch Engn Comp & Math Sci Auckland New Zealand Auckland Univ Technol Serv & Cloud Comp Res Lab Auckland New Zealand

ISBN: (纸本)9781665437844

The big data revolution began when the volume, velocity, and variety of data completely overwhelmed the systems used to store, manipulate and analyze that data. As a result, a new class of software systems emerged called big data systems. While many attempted to harness the power of these new systems, it is estimated that approximately 75% of the big data projects have failed within the last decade. One of the root causes of this is software engineering and architecture aspect of these systems. This paper aims to facilitate big data system development by introducing a software reference architecture. The work provides an event driven microservices architecture that addresses specific limitations in current big data reference architectures (RA). The artefact development has followed the principles of empirically grounded RAs. The RA has been evaluated by developing a prototype that solves a real-world problem in practice. At the end, succesful implementation of the reference architecture have been presented. The results displayed a good degree of applicability with respect to quality factors.

关键词： Reference architecture Architecture Big data reference architecture Big data architecture Big data systems Big data software engineering Event driven Microservices

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：