Vai al contenuto principale della pagina
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.: | 996465894903316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |