Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors)
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer, , [1998] |
| ©1998 | |
| Edizione: | 1st ed. 1998. |
| Descrizione fisica: | 1 online resource (VIII, 357 pp.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Systems engineering | |
| Persona (resp. second.): | RumpeBernhard |
| BroyM. <1949-> | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references at the end of each chapters and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Requirements targeting software and systems engineering |
| ISBN: | 3-540-49439-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910143466603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science ; ; 1526.