Requirements targeting software and systems engineering : International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997 : proceedings
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
1526 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Requirements targeting software and systems engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, proceedings, Manfred Broy, Bernhard Rumpe, eds, 1998, Berlin, Springer, 1 vol. (VIII-358 p.), Lecture notes in computer science, 3-540-65309-0 • Requirements Targeting Software and Systems Engineering, Texte imprimé, 9783662208731 |
תוכן הענינים:
- 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.