Requirements Targeting Software and Systems Engineering: International Workshop Rtse'97, Bernried, Germany, October 12-14, 1997 : P Roceedings: 1526 - Brossura

Brossura

ISBN 10: 3540653090 ISBN 13: 9783540653097

Casa editrice: Springer Verlag, 1998

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell?edizione

• Editore: Springer Verlag
• Data di pubblicazione: 1998
• ISBN 10: 3540653090
• ISBN 13: 9783540653097
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero edizione: 1
• Numero di pagine: 355
• Redattore: Broy Manfred, Rumpe Bernhard