
Requirements Engineering
From System Goals to UML Models to Software Specifications
Axel van Lamsweerde(Author)
Wiley (Publisher)
Published on 9. January 2009
Book
Paperback/Softback
712 pages
978-0-470-01270-3 (ISBN)
Description
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.
More details
Edition
1. Auflage
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Product notice
Paperback (trade)
Dimensions
Height: 235 mm
Width: 193 mm
Thickness: 39 mm
Weight
1256 gr
ISBN-13
978-0-470-01270-3 (9780470012703)
Schweitzer Classification
Person
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".
Content
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
Index