Requirements Targeting Software and Systems Engineering International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1998, 1998
|
Edition: | 1st ed. 1998 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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