Requirements targeting software and systems engineering

Autori

• Manfred Broy

Parametri

• Computer, IT, programmazione
• Lecture notes in computer science

Maggiori informazioni sul libro

InhaltsverzeichnisFoundations 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.

Per saperne di più

Lingua: Inglese

Pubblicato: 1998