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

Proceedings of the 10th International Workshop on software Specification and Design

作者： Daniel M. Berry Erik Kamsties Computer Science Department University of Waterloo Waterloo Ontario N2L 3G1 Canada Fraunhofer Institute for Experimental Software Engineering Kaiserslautern D-67661 Germany

ISBN: (纸本)9780769508849

Rupp and Götz observe that some, but not all, requirement specification sentences involving universal quantification, are dangerous because they are usually not true. Jackson and Zave provide a classification of requirement specification sentences into indicative and optative sentences. It is observed that the dangerous sentences involving universal quantifiers are all indicative.

关键词： false indicative sentence universal quantifier true dangerous optative sentence

来源：评论

学校读者我要写书评

暂无评论

Detecting defects in object-oriented designs: using reading techniques to increase software quality 99

Detecting defects in object-oriented designs: using reading ...

引用

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

作者： Guilherme Travassos Forrest Shull Michael Fredericks Victor R. Basili COPPE/UFRJ C.P. 68511 Ilha do Fundão Rio de Janeiro RJ 21945-180 Brazil Experimental Software Engineering Group and Institute for Advanced Computer Studies University of Maryland at College Park A. V. Williams Building Bldg #115 College Park MD Fraunhofer Center - Maryland 3115 AgLife Science Surge Bldg College Park MD

ISBN: (纸本)9781581132380

Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software development. Inspections of software design may be especially crucial since design defects (problems of correctness and completeness with respect to the requirements, internal consistency, or other quality attributes) can directly affect the quality of, and effort required for, the *** have created a set of “reading techniques” (so called because they help a reviewer to “read” a design artifact for the purpose of finding relevant information) that gives specific and practical guidance for identifying defects in Object-Oriented designs. Each reading technique in the family focuses the reviewer on some aspect of the design, with the goal that an inspection team applying the entire family should achieve a high degree of coverage of the design *** this paper, we present an overview of this new set of reading techniques. We discuss how some elements of these techniques are based on empirical results concerning an analogous set of reading techniques that supports defect detection in requirements documents. We present an initial empirical study that was run to assess the feasibility of these new techniques, and discuss the changes made to the latest version of the techniques based on the results of this study.

关键词： software inspection object oriented software quality software engineering practices object testing and metrics

来源：评论

学校读者我要写书评

暂无评论

Response To: Comments On "property-based software engineering Measurement: Refining The Additivity Properties"

引用

IEEE Transactions on software engineering 1997年第3期23卷 196-197页

作者： L.C. Briand S. Morasca V.R. Basili Fraunhofer Institute of Experimental Software Engineering (IESE) Kaiserslautern Germany Politecnico di Milano Como Italy Institute for Advanced Computer Studies Department of Computer Science University of Maryland College Park MD USA

来源：评论

学校读者我要写书评

暂无评论

Reviewing two multimedia presentation (quasi-) standards

Reviewing two multimedia presentation (quasi-) standards

引用

International Workshop on Multimedia software engineering

作者： P. Rosch M. Baentsch Fraunhofer Institute of Experimental Software Engineering (IESE) Kaiserslautern Germany Department of Computer Science University of Kaiserslautern Kaiserslautern Germany

We compare the BERKOM globally accessible services project (GLASS) with the well-known World-Wide Web with respect to the ease of development, realization, and distribution of multimedia presentations. This comparison is based on the experiences we gained when implementing a gateway between GLASS and the World-Wide Web. Since both systems are shown to have obvious weaknesses, we conclude this paper with a presentation of a better way for multimedia document engineering and distribution. This concept is based on a well-accepted approach to function-shipping in the Internet: the Java language, permitting for example a smooth integration of GLASS' MHEG objects and WWW HTML pages within one common environment.

关键词： Glass HTML Application software Multimedia systems World Wide Web Java software engineering Zinc computer networks Video sequences

来源：评论

学校读者我要写书评

暂无评论

Practical guidelines for measurement-based process improvement

引用

software Process: Improvement and Practice 1996年第4期2卷

作者： Lionel C. Briand Christiane M. Differding H. Dieter Rombach Fraunhofer Institute for Experimental Software Engineering Sauerwiesen 6 D-67661 Kaiserslautern Germany Software Engineering Group Department of Computer Science University of Kaiserslautern D-67653 Kaiserslautern Germany

Despite significant progress in the last 15 years, implementing a successful measurement program for software development is still a challenging undertaking. Most problems are not of theoretical but of methodological or practical nature. In this article, we present lessons learned from experiences with goal-oriented measurement. We structure them into practical guidelines for efficient and useful software measurement aimed at process improvement in industry. Issues related to setting measurement goals, defining explicit measurement models, and implementing data collection procedures are addressed from a practical perspective. In addition, guidelines for using measurement in the context of process improvement are provided. © 1996 by John Wiley & Sons, Ltd. and Gauthier-Villars

关键词： software measurement Goal Question Metric paradigm process improvement

来源：评论

学校读者我要写书评

暂无评论

Professional Knowledge Management 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Klaus-Dieter Althoff Andreas Dengel Thomas Roth-Berghofer Ralph Bergmann Markus Nick

ISBN: (数字)9783540316206

ISBN: (纸本)9783540304654

Professional knowledge management is imperative for the success of enterprises. One decisive factor for the success of knowledge management projects is the coordination of elements such as corporate culture, enterprise organization, - man resource management, as well as information and communication techn- ogy. The proper alignment and balancing of these factors are currently little understood—especially the role of information technology, which is often - garded only as an implementation tool, though it can be a catalyst by making new knowledge management solutions possible. This conference brought together representativesfrom practical and research ?elds for discussing experiences, professional applications, and visions through presentations, workshops, tutorials, and an accompanying industry exhibition. The main focus of the conference was the realization of knowledge mana- ment strategies with the aid of innovative information technology solutions, such as intelligent access to organizational memories, or integration of business processes and knowledge management. Also of interest were holistic/integrative approaches to knowledge management that deal with issues raised by the in- gration of people, organizations, and information technology.

关键词： Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) computer Appl. in Administrative Data Processing computers and Education

来源：评论

学校读者我要写书评

暂无评论

New Modeling Concepts for Today’s software Processes 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Jürgen Münch Ye Yang Wilhelm Schäfer

ISBN: (数字)9783642143472

ISBN: (纸本)9783642143465

2010 was the first time that the International Conference on software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we are glad that the conference gained a lot of attention, a significant number of contributions and many highly interested participants from industry and academia. This volume contains the papers presented at ICSP 2010 held in Paderborn, G- many, during July 8-9, 2010. ICSP 2010 was the fourth conference of the ICSP series. The conference provided a forum for researchers and industrial practitioners to - change new research results, experiences, and findings in the area of software and system process modeling and management. The increasing distribution of development activities, new development paradigms such as cloud computing, new classes of systems such as cyber-physical systems, and short technology cycles are currently driving forces for the software domain. They require appropriate answers with respect to process models and management, suitable modeling concepts, and an understanding of the effects of the processes in specific environments and domains. Many papers in the proceedings address these issues.

关键词： software engineering/Programming and Operating Systems software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters computer Communication Networks Programming Techniques

来源：评论

学校读者我要写书评

暂无评论

computer Safety, Reliability, and Security 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Maritta Heisel Peter Liggesmeyer Stefan Wittmann

ISBN: (数字)9783540301387

ISBN: (纸本)9783540231769

***- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.

关键词： software engineering/Programming and Operating Systems Coding and Information Theory Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

Case-Based Reasoning Research and Development 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Klaus-Dieter Althoff Ralph Bergmann L.Karl Branting

ISBN: (数字)9783540485087

ISBN: (纸本)9783540662372

The biennial International Conference on Case-Based Reasoning (ICCBR) - ries, which began in Sesimbra, Portugal, in 1995, was intended to provide an international forum for the best fundamental and applied research in case-based reasoning (CBR). It was hoped that such a forum would encourage the g- wth and rigor of the eld and overcome the previous tendency toward isolated national CBR communities. The foresight of the original ICCBR organizers has been rewarded by the growth of a vigorous and cosmopolitan CBR community. CBR is now widely recognized as a powerful and important computational technique for a wide range of practical applications. By promoting an exchange of ideas among CBR researchers from across the globe, the ICCBR series has facilitated the broader acceptance and use of CBR. ICCBR-99 has continued this tradition by attracting high-quality research and applications papers from around the world. Researchers from 21 countries submitted 80 papers to ICCBR-99. From these submissions, 17 papers were selected for long oral presentation, 7 were accepted for short oral presentation, and 19 papers were accepted as posters. This volume sets forth these 43 papers, which contain both mature work and innovative new ideas.

关键词： Artificial Intelligence Business Mathematics Database Management IT in Business Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Ernst Denert Award for software engineering 2022 1

引用

1000年

作者： Eric Bodden Michael Felderer Wilhelm Hasselbring Paula Herber Heiko Koziolek Carola Lilienthal Florian Matthes Lutz Prechelt Bernhard Rumpe Ina Schaefer

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：