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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,732 篇 会议
1,004 篇 期刊文献
116 册 图书

馆藏范围

3,852 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,168 篇 工学
- 1,606 篇 计算机科学与技术...
- 1,300 篇 软件工程
- 365 篇 控制科学与工程
- 333 篇 信息与通信工程
- 194 篇 电气工程
- 167 篇 生物工程
- 153 篇 机械工程
- 126 篇 安全科学与工程
- 125 篇 生物医学工程（可授...
- 113 篇 电子科学与技术（可...
- 82 篇 化学工程与技术
- 80 篇 建筑学
- 76 篇 土木工程
- 73 篇 光学工程
- 69 篇 材料科学与工程（可...
- 69 篇 交通运输工程
861 篇 理学
- 463 篇 数学
- 179 篇 生物学
- 169 篇 物理学
- 167 篇 系统科学
- 131 篇 统计学（可授理学、...
- 84 篇 化学
686 篇 管理学
- 512 篇 管理科学与工程(可...
- 267 篇 工商管理
- 225 篇 图书情报与档案管...
126 篇 医学
- 121 篇 临床医学
- 106 篇 基础医学(可授医学...
- 68 篇 药学(可授医学、理...
93 篇 经济学
- 92 篇 应用经济学
82 篇 法学
- 72 篇 社会学
53 篇 教育学
31 篇 农学
5 篇 文学
5 篇 军事学
5 篇 艺术学

主题

337 篇 software enginee...
150 篇 software systems
139 篇 software
106 篇 systems engineer...
105 篇 computer archite...
104 篇 application soft...
78 篇 programming
74 篇 costs
71 篇 computer science
66 篇 machine learning
63 篇 data mining
63 篇 testing
59 篇 software design
56 篇 artificial intel...
55 篇 software archite...
55 篇 training
54 篇 automation
53 篇 conferences
53 篇 computational mo...
53 篇 security

机构

92 篇 fraunhofer insti...
91 篇 fraunhofer insti...
33 篇 hasso plattner i...
32 篇 fraunhofer insti...
31 篇 institute for so...
29 篇 institute for so...
27 篇 fraunhofer insti...
26 篇 fraunhofer insti...
23 篇 max planck insti...
23 篇 institute for so...
20 篇 institute for so...
19 篇 university of ch...
19 篇 state key labora...
19 篇 institute of sof...
17 篇 college of compu...
17 篇 software enginee...
17 篇 fraunhofer insti...
17 篇 fraunhofer insti...
17 篇 hasso-plattner i...
17 篇 max planck insti...

作者

62 篇 wolfgang reif
55 篇 reif wolfgang
36 篇 rausch andreas
24 篇 biswas gautam
22 篇 alwin hoffmann
20 篇 xenofon koutsouk...
19 篇 hoffmann alwin
18 篇 andreas rausch
17 篇 alexander egyed
17 篇 giese holger
16 篇 jens knodel
16 篇 egyed alexander
15 篇 biffl stefan
15 篇 alexander zeier
15 篇 gautam biswas
15 篇 jedlitschka andr...
14 篇 schaefer ina
14 篇 steghöfer jan-ph...
14 篇 veera boonjing
14 篇 grünbacher paul

语言

3,505 篇 英文
308 篇 其他
33 篇 中文
7 篇 德文
3 篇 葡萄牙文
1 篇 日文
1 篇 斯洛文尼亚文

检索条件"机构=Fraunhofer-Institute for Software Engineering and Systems Engineering"

共 3852 条记录，以下是3631-3640 订阅

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

详细简洁

排序：

Design of knowledge-based integrated software process improvement tools

Design of knowledge-based integrated software process improv...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： Yu-Whoan Ahn Gil-Jo Kim Ja-Kyong Koo Hyun-Min Park In-Geol Chun Software Engineering Department Systems Engineering Research Institute Taejon South Korea

ISBN: (纸本)0780347781

The design of QUEST (software QUality Evaluation System and Technology) tools, and especially of its repository, is discussed. QUEST tools are composed of a software process assessment tool (QUEST-A), a software process improvement tool (QUEST-I) and a repository for software process information (QUEST-R). We place the emphasis of this paper on the design of QUEST-R, which acts as a process asset library (PAL) and a meta-process support tool. The meta-process knowledge can be accumulated from several cases of process improvement, which can be initiated by software process assessment and process metrics. The results or outputs of QUEST-A, QUEST-I or the other tools act as a driver of knowledge inference. To build QUEST-R, a knowledge-based software process model (KB-SPM), which incorporates meta-process objects and their relationships, is proposed. Several factors, including environmental changes and various process improvement strategies, are explicitly modeled as frames. QUEST-R (1) makes it possible to generate and customize project process models in various application domains; (2) makes it possible to reuse the software process objects; and (3) makes it easy to accumulate and enhance meta-process knowledge. Besides supporting the meta-process phase, to increase the effectiveness of the meta-process, the following facilities are proposed: (1) rules for control knowledge; (2) more affecting factors for the generation of software processes; (3) a dependency structure, for describing improvement items and their interdependence; and (4) a mechanism to automatically update the knowledge.

关键词： software tools software libraries software quality Knowledge management software engineering Design engineering systems engineering and theory Application software Automatic generation control Computer architecture

来源：评论

学校读者我要写书评

暂无评论

An intermediate representation for integrating reverse engineering analyses

An intermediate representation for integrating reverse engin...

引用

Working Conference on Reverse engineering

作者： R. Koschke J.-F. Girard M. Wurthner Experimental Software Engineering Fraunhofer Institute Kaiserslautern Germany University of Stuttgart Stuttgart Germany

Intermediate representations (IR) are a key issue both for compilers as well as for reverse engineering tools to enable efficient analyses. Research in the field of compilers has proposed many sophisticated IRs that can be used in the domain of reverse engineering, especially in the case of deep analyses, but reverse engineering has also its own requirements for intermediate representations not covered by traditional compiler technology. This paper discusses requirements of IRs for reverse engineering. It shows then how most of these requirements can be met by extending and integrating existing IRs. These extensions include a generalized AST and a mechanism supporting multiple views on programs. Moreover the paper shows how these views can efficiently be implemented.

关键词： Reverse engineering Design optimization Optimizing compilers Acceleration Feedback Iris Performance analysis Flow graphs

来源：评论

学校读者我要写书评

暂无评论

Modeling noise in approximation-based robust design:a comparison and critical discussion

Modeling noise in approximation-based robust design:a compar...

引用

ASME 1998 Design engineering Technical Conferences, DETC 1998

作者： Koch, Patrick N. Mavris, Dimitri Allen, Janet K. Mistree, Farrokh Engineous Software Inc. 1800 Perimeter Park West MorrisvilleNC27560 United States Aerospace Systems Design Laboratory School of Aerospace Engineering Georgia Institute of Technology AtlantaGA30332-0150 United States Systems Realization Laboratory Woodruff School of Mechanical Engineering Georgia Institute of Technology AtlantaGA30332-0405 United States

ISBN: (纸本)9780791880326

Robust design techniques are being developed that incorporate computational experimentation and approximation for efficient exploration of a preliminary design space. Critical tosuch approximation-based robust design approaches is the effective modeling of the effects of noise (uncontrollable factors) onperformance (measuring and modeling performance variation).Given that approximations are sought for efficient exploration,the question addressed in this paper is the following: How cannoise be modeled and incorporated effectively into the preliminary design of complex systems to effectively identify robustsolutions Three approaches for modeling noise when approximateperformance models are sought are tested and compared in thispaper: statistical expected value and Taylor's expansion, designof experiments (DOE)-based Monte Carlo simulation, and product arrays. The focus in this testing and comparison is onmodeling and predicting performance variation. The exampleproblem employed is the preliminary design of the thermodynamic cycle for a commercial turbofan turbine engine. Theapproximate models constructed for this example using eachmodeling approach are employed for exploring the preliminarydesign space and identifying robust solutions. The robust solutions obtained are compared and a discussion of the appropriateuses of each modeling approach is presented. © 1998 by ASME.

关键词： Design of experiments

来源：评论

学校读者我要写书评

暂无评论

COBRA: a hybrid method for software cost estimation, benchmarking, and risk assessment 98

COBRA: a hybrid method for software cost estimation, benchma...

引用

Proceedings of the 20th international conference on software engineering

作者： Lionel C. Briand Khaled El Emam Frank Bomarius Fraunhofer Institute for Experimental Software Engineering (IESE) Sauerwiesen 6 D-6766 1 Kaiserslautern Germany

来源：评论

学校读者我要写书评

暂无评论

Evaluating the usefulness and the ease of use of a Web-based inspection data collection tool

Evaluating the usefulness and the ease of use of a Web-based...

引用

International Symposium on software Metrics

作者： O. Laitenberger H.M. Dreyer Fraunhofer Institute of Experimental Software Engineering (IESE) Kaiserslautern Germany Mummert Partner Unternehmensberatung AG Koln Germany

software tools can only be effective if users accept them. Investigating user acceptance requires a model explaining people's attitudes and behaviour as well as reliable and valid measurement instruments. This paper applies Davis' (1989) technology acceptance model (TAM) and its questionnaire-based measurement instrument for evaluating a newly developed Web-based inspection data collection tool (WIPS) from a user's perspective. TAM postulates that two particular user beliefs, usefulness and ease of use, predict tool usage and, thus, tool acceptance quite well. To investigate this and to assess the usefulness and ease of use of WIPS, we performed an experiment with computer science students as subjects. Our experimental results confirmed the reliability and the validity of the TAM and its questionnaire. Moreover WIPS received high ratings for both TAM determinants. These results, together with the fact that usefulness was correlated to self-predicted future usage, explain why most of our subjects preferred WIPS over paper-based forms for inspection data collection. The reliability and validity of the TAM questionnaire is not limited to inspection tools, but applies to the user acceptance evaluation of tools and techniques in general. We demonstrate this with data from an experiment we performed in an industrial setting with professional software developers to evaluate different inspection techniques.

关键词： Inspection software tools Instruments software engineering Computer science Cost accounting Monitoring Databases Data analysis Councils

来源：评论

学校读者我要写书评

暂无评论

Restructuring OODesigner: a CASE tool for OMT

Restructuring OODesigner: a CASE tool for OMT

引用

International Conference on software engineering (ICSE)

作者： Taegyun Kim Gyusang Shin Department of Computer Engineering Pusan University of Foreign Studies busan South Korea Software Engineering Division Systems Engineering Research Institute Daejeon South Korea

ISBN: (纸本)0818683686

This report describes our experience acquired when we restructured OODesigner, a computer aided software engineering (CASE) tool for object modeling techniques (OMT). We had developed the version 1.x of OODesigner during 3 years since 1994. Although we had developed this version using OMT and C++, we recognized the potential maintenance problem that originated from the ill-designed class architecture. Thus we totally restructured the old version of OODesigner during 12 months, and obtained a new version that is much easier to maintain than the old one.

关键词： Computer aided software engineering Object oriented modeling Reverse engineering Computer architecture Documentation Maintenance engineering systems engineering and theory software engineering Robustness Tree graphs

来源：评论

学校读者我要写书评

暂无评论

Multiple data parallelism with HPF and KeLP

引用

International Conference and Exhibition on High-Performance Computing and Networking, HPCN 1998

作者： Merlin, John H. Baden, Scott B. Fink, Stephen J. Chapman, Barbara M. VCPC Institute for Software Technology and Parallel Systems University of Vienna Liechtensteinstr. 22 ViennaA-1090 Austria Department of Computer Science and Engineering University of California San Diego La JollaCA92093-0114 United States

ISBN: (纸本)3540644431

High Performance Fortran (HPF) is an effective language for implementing regular data parallel applications on distributed memory architectures, but it is not well suited to irregular, block-structured applications such as multiblock and adaptive mesh methods. A solution to this problem is to use a non-HPF SPMD program to coordinate multiple concurrent HPF tasks, each operating on a regular subgrid of an irregular data domain. To this end we have developed an interface between the C++ class library KELP, which supports irregular, dynamic block-structured applications on distributed systems, and an HPF compiler, SHPF. This allows KeLP to handle the data layout and inter-block communications, and to invoke HPF concurrently on each block. There are a number of advantages to this approach: it combines the strengths of both KeLP and HPF;it is relatively easy to implement;and it involves no extensions to HPF or HPF compilers. This paper describes the KeLP-HPF implementation and programming model, and shows an example KeLP-HPF multiblock solver. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

A study on implementation of model checking tool for verifying LTS specifications

A study on implementation of model checking tool for verifyi...

引用

International Conference on Information Networking

作者： Jaeyoun Jung Youngeung Kim Yeondae Chung Cheoljoo Jeong Sungun Kim Department of Telematics Engineering 599 1 Pukyong National University busan South Korea Software Engineering Department Systems Engineering Research Institute Daejeon South Korea

ISBN: (纸本)0818672250

This paper presents an implementation of model checking tool for LTS process specification which checks deadlock, livelock and reachability for the state and action. The implemented formal checker using modal mu-calculus is able to verify whether properties expressed in modal logic are true on specifications. We prove experimentally that it is powerful to check, livelock and reachability for the state and action on LTS. The tool is implemented by C/sup ++/ language and runs on IBM PC under Windows NT.

关键词： Logic Calculus Specification languages Safety Prototypes Telematics software engineering systems engineering and theory Postal services Power system modeling

来源：评论

学校读者我要写书评

暂无评论

Using simulation to build inspection efficiency benchmarks for development projects

Using simulation to build inspection efficiency benchmarks f...

引用

International Conference on software engineering (ICSE)

作者： L. Briand K. El Emam O. Laitenberger T. Fussbroich Fraunhofer Institute of Experimental Software Engineering (IESE) Kaiserslautern Germany University of Kaiserslautern Germany Research and Development NOKIA Telecommunications GmbH Duesseldorf Germany

It is difficult for organizations introducing and using software inspections to evaluate how efficient they are. However, it is of practical importance to determine whether they have been efficiently implemented or whether further corrective actions are necessary to bring them up to standard. We present in this paper a procedure for building inspection efficiency benchmarks based on simulation and typical inspection data. Based on most of the data published in the literature, we build an industry-wide benchmark which intends to capture the current practice regarding inspection efficiency. This benchmark construction procedure can also be used to build enterprise specific benchmarks. Last, we assess how robust we can expect them to be by distorting their input distributions to reflect violations of the assumptions made.

关键词： Inspection Costs Robustness Construction industry Testing software engineering Buildings On the job training Research and development software measurement

来源：评论

学校读者我要写书评

暂无评论

Cost implications of interrater agreement for software process assessments

Cost implications of interrater agreement for software proce...

引用

International Symposium on software Metrics

作者： K. El Emam J.-M. Simon S. Rousseau E. Jacquet Fraunhofer Institute of Experimental Software Engineering (IESE) Kaiserslautern Germany A Q T Lyon France Sanofi Recherche Gentilly France Sanofi Phama Gentilly France

Much empirical research has been done on evaluating and modeling interrater agreement in software process assessments. Interrater agreement is the extent to which assessors agree in their ratings of software process capabilities when presented with the same evidence and performing their ratings independently. This line of research was based on the premise that lack of interrater agreement can lead to erroneous decisions from process assessment scores. However, thus far we do not know the impact of interrater agreement on the cost of assessments. We report on a study that evaluates the relationship between interrater agreement and the cost of the consolidation activity in assessments. The study was conducted in the context of two assessments using the emerging international standard ISO/IEC 15504. Our results indicate that for organizational processes, the relationship is strong and in the expected direction. For project level processes no relationship was found. These results indicate that for assessments that include organizational processes in their scope, ensuring high interrater agreement could lead to a reduction in their costs.

关键词： Costs ISO standards IEC standards software standards software engineering Coordinate measuring machines Appraisal Testing Writing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共386页 << < 360 361 362 363 364 365 366 367 368 369 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：