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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,407 篇 会议
21 篇 期刊文献
13 册 图书

馆藏范围

1,441 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

952 篇 工学
- 764 篇 计算机科学与技术...
- 482 篇 软件工程
- 171 篇 电气工程
- 138 篇 控制科学与工程
- 62 篇 信息与通信工程
- 42 篇 机械工程
- 19 篇 安全科学与工程
- 18 篇 材料科学与工程（可...
- 17 篇 仪器科学与技术
- 15 篇 生物医学工程（可授...
- 14 篇 土木工程
- 13 篇 交通运输工程
- 13 篇 生物工程
- 12 篇 建筑学
- 12 篇 航空宇航科学与技...
- 10 篇 电子科学与技术（可...
- 10 篇 环境科学与工程（可...
- 9 篇 石油与天然气工程
177 篇 管理学
- 146 篇 管理科学与工程(可...
- 63 篇 工商管理
- 44 篇 图书情报与档案管...
127 篇 理学
- 61 篇 数学
- 42 篇 系统科学
- 15 篇 统计学（可授理学、...
- 14 篇 生物学
- 11 篇 物理学
- 9 篇 化学
19 篇 经济学
- 19 篇 应用经济学
17 篇 教育学
- 16 篇 教育学
14 篇 医学
- 10 篇 临床医学
9 篇 法学
8 篇 文学
3 篇 农学
3 篇 军事学

主题

287 篇 software
79 篇 software enginee...
52 篇 computational mo...
52 篇 software design
50 篇 educational inst...
45 篇 computer archite...
43 篇 testing
43 篇 cloud computing
42 篇 software systems
42 篇 hardware
41 篇 process control
41 篇 software testing
41 篇 unified modeling...
36 篇 monitoring
36 篇 context
34 篇 mathematical mod...
30 篇 companies
29 篇 computers
29 篇 complexity theor...
29 篇 computer softwar...

机构

5 篇 software enginee...
5 篇 nanjing univ sta...
5 篇 shenzhen univ co...
5 篇 school of softwa...
4 篇 shanghai jiao to...
4 篇 international sc...
4 篇 univ granada dep...
4 篇 beihang univ sta...
4 篇 school of softwa...
4 篇 state key labora...
4 篇 carnegie mellon ...
4 篇 wuhan univ int s...
3 篇 tsinghua univ sc...
3 篇 univ jaen dept c...
3 篇 shandong univ sc...
3 篇 technische unive...
3 篇 beijing key lab ...
3 篇 institute of sof...
3 篇 software archite...
3 篇 beijing univ tec...

作者

5 篇 richardson ita
5 篇 liu xiao
4 篇 loos peter
4 篇 boehm barry
4 篇 rumpe bernhard
4 篇 conte tayana
3 篇 aichernig bernha...
3 篇 yang yun
3 篇 pereira juliana ...
3 篇 sagardui goiuria
3 篇 bernhard rumpe
3 篇 huang liguo
3 篇 saake gunter
3 篇 zhu guobin
3 篇 cater-steel aile...
3 篇 zdun uwe
3 篇 oivo markku
3 篇 rong guoping
3 篇 yuan dong
3 篇 dagnino aldo

语言

1,434 篇 英文
3 篇 俄文
2 篇 中文
1 篇 西班牙文
1 篇 其他

检索条件"任意字段=2014 International Conference on Software and Systems Process, ICSSP 2014"

共 1441 条记录，以下是31-40 订阅

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

详细简洁

排序：

Artifact-based software process improvement and management: A method proposal

Artifact-based software process improvement and management: ...

引用

2014 international conference on software and systems process, icssp 2014

作者： Kuhrmann, Marco Beecham, Sarah Technische Universität München Faculty of Informatics Munich Germany Irish Software Engineering Research Centre University of Limerick Limerick Ireland

ISBN: (纸本)9781450327541

When it comes to software process improvement (SPI), process engineers look for SPI methods to support process analysis, design, realization, deployment, and management. Although a number of different SPI methods and models exist, process engineers tend to view these as too generic, too large, or a poor fit for the organization in which SPI is conducted. A strategy to overcome these shortcomings is to concentrate on the artifacts, which precisely define the desired outcomes, rather than on specific methods. In this paper, we present the Artifact-based software process Improvement & Management (ArSPI) model that provides a unified perspective on SPI and company-wide software process management (SPM), the required key artifacts, and the life cycle models. ArSPI is shown to be of practical support to industry who called for a practical way to define the interfaces between SPI projects. This paper concludes with an example of how ArSPI paved the way for several organizations through applying the model in real-world SPI-projects. © 2014 ACM.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

A case study on software ecosystem characteristics in industrial automation software

A case study on software ecosystem characteristics in indust...

引用

2014 international conference on software and systems process, icssp 2014

作者： Lettner, Daniela Angerer, Florian Prähofer, Herbert Grünbacher, Paul Christian Doppler Laboratory MEVSS Johannes Kepler University Linz 4040 Linz Austria Institute for Systems Software Johannes Kepler University Linz 4040 Linz Austria

ISBN: (纸本)9781450327541

In software ecosystems (SECOs) both internal and external developers build software solutions for specific market segments based on common technological platforms. Despite a significant body of research on SECOs there is still a need to empirically investigate the characteristics of SECOs in specific industrial environments to understand and improve development processes. In particular, when defining software processes understanding the roles of the participants in the SECO is crucial. This paper thus reports results of an exploratory case study in the industrial automation domain. We explore two research questions on SECO characteristics and discuss research issues we derived from our analyses. While our study confirms key SECO characteristics reported in the literature we also identify additional properties relevant for development processes in the domain of industrial automation. © 2014 ACM.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

software processes: How important is your domain?

Software processes: How important is your domain?

引用

2014 international conference on software and systems process, icssp 2014

作者： Richardson, Ita Lero - The Irish Software Engineering Research Centre University of Limerick Limerick Ireland

ISBN: (纸本)9781450327541

There was a time when researching software processes meant just that - we were interested in making sure that the process for software development was effective. We did not really have to worry about the domains in which our software was used - well, maybe that was up to the requirements engineers or even those who were interested in usability, but it did not really affect the software processes through which the software was developed. But, things have changed! software has become more ubiquitous. software is used in products that are governed by regulation. software is being developed in organisations that heretofore did not consider themselves software companies - such as automotive and medical device companies. As the manner in which software is being used has changed, so too must the processes by which software is developed. This paper presents the position that software processes can no longer ignore the domain - they have to change to ensure that software can be used wherever it is needed. © 2014 Author.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

Hierarchical timed automata based verification of dynamic evolution process in open environments

Hierarchical timed automata based verification of dynamic ev...

引用

2014 international conference on software and systems process, icssp 2014

作者： Zhou, Yu Ge, Jidong Zhang, Pengcheng College of Computer Science Nanjing University of Aeronautics and Astronautics Nanjing 210016 China State Key Lab. for Novel Software Technology Nanjing University Nanjing 210093 China College of Computer and Information Hohai University Xikang Road 1 Nanjing 210098 China

ISBN: (纸本)9781450327541

The paper proposes a novel approach based on the hierarchical timed automata to verify the consistency of dynamic evolution process. Different from traditional approaches, it investigates the problem from the behavioral perspective and examines the procedures before, during and after the evolution process. Furthermore, our approach can support the direct modeling of temporal aspects, as well as the hierarchical structures. A flattening algorithm is presented to facilitate the automated verification using the mainstream timed automata based model checker - UPPAAL. A motivating example is discussed and demonstrates the feasibility of our approach. © 2014 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

software domains in incremental development productivity decline

Software domains in incremental development productivity dec...

引用

2014 international conference on software and systems process, icssp 2014

作者： Moazeni, Ramin Link, Daniel Chen, Celia Boehm, Barry Computer Science Department University of Southern California Los Angeles CA United States

ISBN: (纸本)9781450327541

This research paper expands on a previously introduced phenomenon called Incremental Development Productivity Decline (IDPD) that is presumed to be present in all incremental software projects to some extent. Incremental models are now being used by many organizations in order to reduce development risks. Incremental development has become the most common method of software development. Therefore its characteristics inevitably influence the productivity of projects. Based on their observed IDPD, incrementally developed projects are split into several major IDPD categories. Different ways of measuring productivity are presented and evaluated in order to come to a definition or set of definitions that is suitable to these categories of projects. Data has been collected and analyzed, indicating the degree of IDPD associated with each category. Several hypotheses have undergone preliminary evaluations regarding the existence, stability and category-dependence of IDPD with encouraging results. Further data collection and hypothesis testing is underway. © 2014 ACM.

关键词： Productivity

来源：评论

学校读者我要写书评

暂无评论

Realizing software process lines: Insights and experiences

Realizing software process lines: Insights and experiences

引用

2014 international conference on software and systems process, icssp 2014

作者： Kuhrmann, Marco Fernández, Daniel Méndez Ternité, Thomas Technische Universität München Faculty of Informatics Munich Germany Technische Universität Clausthal Department of Informatics Clausthal-Zellerfeld Germany

ISBN: (纸本)9781450327541

software process lines provide a systematic approach to construct and manage software processes. A process line defines a reference process containing general process assets, whereas a well-defined customization approach allows process engineers to create new process variants by, e.g., extending or altering process assets. Variability operations are a powerful instrument to realize a process line. However, little is known about which variability operations are suitable in practice. In this paper, we present a study on the feasibility of variability operations to support process lines in the context of the German V-Modell XT. We analyze which variability operations were defined and used to which extent, and we provide a catalog of variability operations as an improvement proposal for other process models. Our findings show 69 variability operations defined across several metamodel versions of which 25 remain unused. Furthermore, we also find that variability operations can help process engineers to compensate process metamodel evolution. © 2014 ACM.

关键词： process engineering

来源：评论

学校读者我要写书评

暂无评论

Towards an understanding of enabling process knowing in global software development: A case study

Towards an understanding of enabling process knowing in glob...

引用

2014 international conference on software and systems process, icssp 2014

作者： Zahedi, Mansooreh Babar, Muhammad Ali CREST - The Centre for Research on Engineering Software Technologies IT University of Copenhagen Denmark CREST - The Centre for Research on Engineering Software Technologies University of Adelaide Australia

ISBN: (纸本)9781450327541

Shared understanding of software Engineering (SE) processes, that we call process knowing, is required for effective communication and coordination and communication within a team in order to improve team performance. SE process knowledge can include roles, responsibilities and flow of information over a project lifecycle. Developing and sustaining process knowledge can be more challenging in Global software Development (GSD). GSD distances can limit the ability of a team to develop a common understanding of processes. Anecdotes of the problems caused by lack of common understanding of processes in GSD are pervasive, but there is no reported empirical effort aimed at exploring the solutions to enable process knowing in GSD. We report a case study aimed at understanding an effort to enable process knowing for improving processes in GSD. The findings provide useful insights into the potential challenges of lack of process knowing and how an organization can enable process knowing for achieving the desired results that also help in increasing social interactions and positive behavioral changes. © 2014 ACM.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

A business process simulation method supporting resource evolution

A business process simulation method supporting resource evo...

引用

2014 international conference on software and systems process, icssp 2014

作者： Ling, Jimin Feng, Qi Zhang, Li Beihang University Xueyuan Road 37# Beijing China

ISBN: (纸本)9781450327541

Business process simulation is the procedure of planning, modeling and simulating enterprise process to analyze the features varying with time which guides the users to make decisions or important means of process improvement. In the existing simulation methods, they considered little about dynamic resource, which may lead to a large deviation. To solve the problem above, a business process simulation method supporting resource evolution that mainly focuses on human resource is proposed. Individual differences and personnel composition are analyzed to represent the dynamic feature of resources. Evolution of human capacity and personnel changes are described to meet the simulation requirements of human resource model. And then, process simulation mechanism and algorithm are realized. An experiment is conducted by simulating the software development process of a real-world software project using the system prototype we developed, and it shows that our method is closer to the practical project situation, thus the method effectiveness can be demonstrated to a certain extent. The main contribution of our work is a novel process simulation approach based on a dynamic resource model with configurable evolution rules. © 2014 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Throughput based temporal verification for monitoring large batch of parallel processes

Throughput based temporal verification for monitoring large ...

引用

2014 international conference on software and systems process, icssp 2014

作者： Liu, Xiao Wang, Dingxian Yuan, Dong Wang, Futian Yang, Yun Software Engineering Institute East China Normal University China Faculty of Information and Communication Technologies Swinburne University of Technology Australia School of Computer Science and Technology Anhui University China

ISBN: (纸本)9781450327541

On-time completion is one of the most important QoS (Quality of Service) dimensions for business processes running in the cloud. While todays business systems often need to handle thousands of concurrent user requests, process monitoring is basically conducted in a one by one fashion. It is possible to repeat the strategies for monitoring a single process a thousand times to monitor a thousand parallel processes. However, the time overhead will be a thousand-fold increase as well, which brings a big challenge for process monitoring. In this paper, based on a novel runtime throughput consistency model, we propose a QoS-aware throughput based checkpoint selection strategy which can dynamically select a small number of checkpoints along the system timeline to facilitate the temporal verification of throughput constraints and achieve the target on-time completion rate. The experimental results demonstrate that our strategy can achieve the best efficiency and effectiveness compared with the state-of-the-art as well as other representative response-time based checkpoint selection strategies. © 2014 ACM.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

A Gaussian fields based mining method for semi-automating staff assignment in workflow application

A Gaussian fields based mining method for semi-automating st...

引用

2014 international conference on software and systems process, icssp 2014

作者： Xu, Rongbin Liu, Xiao Xie, Ying Yuan, Dong Yang, Yun School of Computer Science and Technology Anhui University Hefei 230601 China Software Engineering Institute East China Normal University Shanghai China Department of Computers Studies Anhui University Hefei 230601 China School of Software and Electrical Engineering Swinburne University of Technology Melbourne VIC Australia

ISBN: (纸本)9781450327541

Staff assignment is a very important task in the research of workflow resource management. Currently, many well-known workflow applications still rely on human resource assigners such as process initiator or process monitor to perform staff assignment task. In this paper, we propose a semi-automatic workflow staff assignment method which can decrease the workload of staff assigner based on a novel semi-supervised machine learning framework. Our method can be applied to learn all kinds of activities that each actor is capable of based on the workflow event log. After we have learned all labeled data, we can suggest a suitable actor to undertake the specified activities when a new process is assigned. With the proposed method, we can get an average prediction accuracy of 97% and 91% on the data sets of two manufacturing enterprise applications respectively. © 2014 ACM.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共145页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：