Requirements Engineering: From System Goals to UML Models to Software Specifications
- 13h 47m
- Axel van Lamsweerde
- John Wiley & Sons (UK)
- 2009
Essential comprehensive coverage of the fundamentals of requirements engineering
Requirements engineering (RE) deals with the variety of prerequisites that must be met by a software system within an organization in order for that system to produce stellar results. With that explanation in mind, this must-have book presents a disciplined approach to the engineering of high-quality requirements. Serving as a helpful introduction to the fundamental concepts and principles of requirements engineering, this guide offers a comprehensive review of the aim, scope, and role of requirements engineering as well as best practices and flaws to avoid.
- Shares state-of-the-art techniques for domain analysis, requirements elicitation, risk analysis, conflict management, and more
- Features in-depth treatment of system modeling in the specific context of engineering requirements
- Presents various forms of reasoning about models for requirements quality assurance
- Discusses the transitions from requirements to software specifications to software architecture
In addition, case studies are included that complement the many examples provided in the book in order to show you how the described method and techniques are applied in practical situations.
About the Author
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".
In this Book
-
Foreword
-
Setting the Scene
-
Domain Understanding and Requirements Elicitation
-
Requirements Evaluation
-
Requirements Specification and Documentation
-
Requirements Quality Assurance
-
Requirements Evolution
-
Goal Orientation in Requirements Engineering
-
Modelling System Objectives with Goal Diagrams
-
Anticipating What Could Go Wrong—Risk Analysis on Goal Models
-
Modelling Conceptual Objects with Class Diagrams
-
Modelling System Agents and Responsibilities
-
Modelling System Operations
-
Modelling System Behaviours
-
Integrating Multiple System Views
-
A Goal-Oriented Model-Building Method in Action
-
Semi-Formal Reasoning for Model Analysis and Exploitation
-
Formal Specification of System Models
-
Formal Reasoning for Specification Construction and Analysis
-
Bibliography
