Requirements targeting software and systems engineering
Authors
Parameters
More about the book
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.
Book purchase
Requirements targeting software and systems engineering, Manfred Broy
- Language
- Released
- 1998
Payment methods
- Title
- Requirements targeting software and systems engineering
- Language
- English
- Authors
- Manfred Broy
- Publisher
- Springer
- Released
- 1998
- ISBN10
- 3540653090
- ISBN13
- 9783540653097
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- 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.