TY  - BOOK
AU  - Lamsweerde,A.van
TI  - Requirements engineering: from system goals to UML models to software specifications 
SN  - 9780470012703 (pbk.)
AV  - QA76.758 .L28 2009
U1  - 005.1 22
PY  - 2009///
CY  - Chichester, England
PB  - Wiley
KW  - Software engineering
KW  - Systems engineering
N1  - Includes bibliographical references (p. [641]-667) and index; 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
N2  - "This book provides a systematic and practical approach to the engineering of high-quality requirements. It covers the entire requirements lifecycle and integrates state-of-the-art techniques for requirements elicitation, evaluation, specification, analysis, and evolution. Modelling plays a central role. A method is presented for building and analyzing a multi-view model of the target system, where each step is supported by heuristic rules, tactics, modelling patterns, and bad smells to avoid." "The book is primarily written for undergraduates and masters students in software or system engineering to acquire a solid background in requirements engineering and system modelling. It is also intended for practitioners in need of systematic guidance for elaborating and analyzing requirements. The last part on model-based reasoning is more targeted to graduate students."--Jacket
UR  - http://www.loc.gov/catdir/toc/ecip0825/2008036187.html
ER  -