Requirements Targeting Software and Systems Engineering International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
|
| Edition: | 1st ed. 1998. |
| Series: | Lecture Notes in Computer Science,
1526 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
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.
