
Requirements engineering: from system goals to UML models to software specifications
Lamsweerde, Axel van
This book presents a disciplined approach to the engineering of high-quality requirements. The approach covers the entire requirements lifecycle and integrates state-of-the-art techniques for requirements elicitation, evaluation, specification, analysis, and evolution. Modeling plays a central role in this approach. Rich, requirements-specific models provide a common interface to the various RE activities. Such models capture the multiple facets of the system-as-is and the system-to-be, comprising both software and environment components. The book puts a strong emphasis on systematic, replicable techniques for requirements engineering. INDICE: Contents Preface Part 1: Fundamentals of Requirements Engineering Chapter 1 Setting the Scene Chapter 2 Domain Analysis and Requirements Elicitation Chapter 3 Requirements Evaluation Chapter 4 Requirements Specification and Documentation Chapter 5 Requirements Quality Assurance Chapter 6 Requirements Evolution Chapter 7 Goal-Orientation in Requirements Engineering Part 2: Building System Models for Requirements Engineering Chapter 8 Modeling System Objectives with Goal Diagrams Chapter 9 Anticipating What Could Go Wrong: Risk Analysis on Goal Models Chapter 10 Modeling Conceptual Objects with Class Diagrams Chapter 11 Modeling System Agents and Responsibilities Chapter 12 Modeling System Operations Chapter 13 Modeling System Behaviors Chapter 14 Integrating Multiple System Views Chapter 15 A Goal-Oriented Model Building Method in Action Part 3: Reasoning About System Models Chapter 16 Semi-Formal Reasoning for Model Analysis and Exploitation Chapter 17 Formal Specification of System Models Chapter 18 Formal Reasoning for Specification Construction and Analysis Bibliography Appendix: Requirements Document Generated from a Goal-Oriented ModelIndex
- ISBN: 978-0-470-01270-3
- Editorial: John Wiley & Sons
- Encuadernacion: Rústica
- Páginas: 712
- Fecha Publicación: 09/01/2009
- Nº Volúmenes: 1
- Idioma: Inglés