TY  - BOOK
AU  - Broy,Manfred
AU  - Rumpe,Bernhard
ED  - SpringerLink (Online service)
TI  - Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997 
T2  - Lecture Notes in Computer Science,
SN  - 9783540494393
AV  - QA76.758 
U1  - 005.1 23
PY  - 1998///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer Science
KW  - Software Engineering
N1  - 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
UR  - http://dx.doi.org/10.1007/b71630
ER  -