| 000 | 02532cam^a2200397^a^4500 | ||
|---|---|---|---|
| 001 | UDM01000139283 | ||
| 003 | UDM | ||
| 005 | 20210531133650.0 | ||
| 008 | 111006s2009^^^^enka^^^^^b^^^^001^0^eng^^ | ||
| 020 |
_a0470012706 _q(pbk.) |
||
| 020 |
_a9780470012703 _q(pbk.) |
||
| 040 |
_aDLC _beng _cDLC _dBWKUK _dBWK _dYDXCP _dCDX _dIXA _dNLGGC _dCDN _dOCLCQ _dDEBSZ _dTVG _dOCLCQ _dUN@ |
||
| 082 | 0 | 4 |
_a005.1 _bL241r 2009 |
| 100 | 1 |
_9232293 _aLamsweerde, Axel van, _eautor |
|
| 245 | 1 | 0 |
_aRequirements engineering : _bfrom system goals to UML models to software specifications / _cAxel van Lamsweerde. |
| 264 | 3 | 1 |
_aChichester, England ; _aHoboken, NJ : _bJohn Wiley, _cc2009. |
| 300 |
_axxix, 682 páginas : _bilustraciones |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_ano mediado _bn _2rdamedia |
||
| 338 |
_avolumen _bnc _2rdacarrier |
||
| 504 | _aIncluye bibliografía. | ||
| 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. | |
| 650 | 1 | 4 |
_911044 _aIngeniería de sistemas. |
| 650 | 1 | 4 |
_969172 _aIngeniería de software. |
| 650 | 1 | 4 |
_9354706 _aUML (Computación). |
| 856 |
_a_ _yTabla de contenido _uhttp://catdir.loc.gov/catdir/toc/ecip0825/2008036187.html |
||
| 942 |
_2ddc _cGEN |
||
| 991 |
_aC0 _bUN@ |
||
| 991 | _aSI | ||
| 997 |
_aHZ _b00 _c20140722 _lUDM01 _h1027 |
||
| 998 |
_aBATCH _b00 _c20140911 _lUDM01 _h0532 |
||
| 999 |
_c127126 _d127126 |
||
| 900 | _aDSÑ | ||
| 900 | _aAYN | ||
| 900 | _aTC | ||