Pt. 1 Fundamentals of Requirements Engineering Ch. 1 Setting the Scene Ch. 2 Domain Understanding and Requirements Elicitation Ch. 3 Requirements Evaluation Ch. 4 Requirements Specification and Documentation Ch. 5 Requirements Quality Assurance Ch. 6 Requirements Evolution Ch. 7 Goal-Orientation in Requirements Engineering Pt. 2 Building System Models for Requirements Engineering Ch. 8 Modeling System Objectives with Goal Diagrams Ch. 9 Anticipating What Could Go Wrong Risk Analysis on Goal Models Ch. 10 Modeling Conceptual Objects with Class Diagrams Ch. 11 Modeling System Agents and Responsibilities Ch. 12 Modeling System Operations Ch. 13 Modeling System Behaviors Ch. 14 Integrating Multiple System Views Ch. 15 A Goal-Oriented Model-Building Method in Action Pt. 3 Reasoning About System Models Ch. 16 Semi-Formal Reasoning for Model Analysis and Exploitation Ch. 17 Formal Specification of System Models Ch. 18 Formal Reasoning for Specification Construction and Analysis Bibliography Index
|
