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.
The book presents both the current state of the art in requirements
engineering and a systematic method for engineering high-quality
requirements, broken down into four parts. The first part
introduces fundamental concepts and principles including the aim
and scope of requirements engineering, the products and processes
involved, requirements qualities to aim at and flaws to avoid, and
the critical role of requirements engineering in system and
software engineering.The second part of the book is devoted to
system modeling in the specific context of engineering
requirements. It presents a multi-view modeling framework that
integrates complementary techniques for modeling the system-as-is
and the system-to-be. The third part of the book reviews goal-based
reasoning techniques to support the various steps of the KAOS
method. The fourth part of the book goes beyond requirements
engineering to discuss the mapping from goal-oriented requirements
to software specifications and to software architecture.A CD-rom
will accompany the book and will add value to both classroom and
self-study by enabling students to build models and specifications
involved in the book's exercises and case studies, helping them
to discover the latest RE technology solutions. Instructor
resources such as slides, solutions, models and animations will be
available from an accompanying website.
Axel van Lamsweerde is Professor in the Department of Computing Science at the Université catholique de Louvain (UCL), Belgium. He recently received the ACM SIGSOFT Outstanding Research Award for "deep and lasting contributions to the theory and practice of requirements engineering".
Inhaltsangabe
- 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 Model
