Requirements Targeting Software and Systems Engineering International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
|
Έκδοση: | 1st ed. 1998. |
Σειρά: | Lecture Notes in Computer Science,
1526 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.