Requirements Targeting Software and Systems Engineering [electronic resource] : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 /
Material type: TextSeries: Lecture Notes in Computer Science ; 1526Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998Edition: 1st ed. 1998Description: VIII, 357 p. online resourceContent type:- text
- computer
- online resource
- 9783540494393
- 005.1 23
- QA76.758
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.
There are no comments on this title.