000			03300cam a2200313 a 4500
999			_c57906 _d57906
001			15412825
003			CITU
005			20210304062134.0
008			080814s2009 enka b 001 0 eng
010			_a 2008036187
020			_a9780470012703 (pbk.)
035			_a(OCoLC)ocn243941685
040			_aDLC _cDLC _dBWKUK _dBWK _dYDXCP _dCDX _dIXA _dOCLCQ _dDLC
050	0	0	_aQA76.758 _b.L28 2009
082	0	0	_a005.1 _222
100	1		_aLamsweerde, A. van _q(Axel)
245	1	0	_aRequirements engineering : _bfrom system goals to UML models to software specifications / _cAxel van Lamsweerde.
260		1	_aChichester, England ; _bWiley, _cc2009.
300			_axxix, 682 pages : _billustrations ; _c24 cm.
504			_aIncludes bibliographical references (p. [641]-667) and index.
505	0		_aContents 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.
520			_a"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.
650		0	_aSoftware engineering.
650		0	_aSystems engineering.
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/toc/ecip0825/2008036187.html
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK