Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
著者
書誌事項
Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
（Lecture notes in computer science, 1526）
Springer, c1998
大学図書館所蔵 件 / 全34件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering, RTSE '97, held in Bernried, Germany in October 1997.The 15 revised full papers presented in the book were carefully revised and reviewed for inclusion in the book. Among the authors are internationally leading researchers. The book is divided in sections on foundations of software engineering, methodology, evaluation and case studies, and tool support and prototyping.
目次
Foundations of Software Engineering.- Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views.- Software and System Modeling Based on a Unified Formal Semantics.- Postmodern Software Design with NYAM: Not Yet Another Method.- Methodology.- A Discipline for Handling Feature Interaction.- Merging Changes to Software Specifications.- Combining and Distributing Hierarchical Systems.- Software Engineering Issues for Network Computing.- A Two-Layered Approach to Support Systematic Software Development.- Evaluation and Case Studies.- A Framework for Evaluating System and Software Requirements Specification Approaches.- Formal Methods and Industrial-Strength Computer Networks.- Tool Support and Prototyping.- Integration Tools Supporting Development Processes.- Formal Models and Prototyping.- Abstraction and Modular Verification of Infinite-State Reactive Systems.- NSA's MISSI Reference Architecture - Moving from Prose to Precise Specifications.- Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods.
「Nielsen BookData」 より