E-Book, Englisch, Band 1526, 357 Seiten, eBook
Broy / Rumpe Requirements Targeting Software and Systems Engineering
Erscheinungsjahr 2005
ISBN: 978-3-540-49439-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997
E-Book, Englisch, Band 1526, 357 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-49439-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
