|
|
|
|
| LEADER |
01843cam a22004697a 4500 |
| 001 |
BIBLO-44171 |
| 003 |
AR-BaUEN |
| 005 |
20201111150459.0 |
| 008 |
110331s2009 xxk||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 9780470012703
|
| 044 |
|
|
|a xxk
|
| 080 |
|
|
|a 681.362
|
| 100 |
1 |
|
|a Lamsweerde, Axel van
|
| 245 |
1 |
0 |
|a Requirements engineering :
|b from system goals to UML models to software specifications
|
| 260 |
|
|
|a Chichester :
|b Wiley,
|c 2009
|
| 300 |
|
|
|a xxix, 682 p.
|
| 505 |
0 |
0 |
|t Foreword
|
| 505 |
0 |
0 |
|t Preface
|
| 505 |
0 |
0 |
|g 1
|t Setting the Scene
|
| 505 |
0 |
0 |
|g 2
|t Domain Understanding and Requirements Elicitation
|
| 505 |
0 |
0 |
|g 3
|t Requirements Evaluation
|
| 505 |
0 |
0 |
|g 4
|t Requirements Specification and Documentation
|
| 505 |
0 |
0 |
|g 5
|t Requirements Quality Assurance
|
| 505 |
0 |
0 |
|g 6
|t Requirements Evolution
|
| 505 |
0 |
0 |
|g 7
|t Goal Orientation in Requirements Engineering
|
| 505 |
0 |
0 |
|g 8
|t Modelling System Objectives with Goal Diagrams
|
| 505 |
0 |
0 |
|g 9
|t Anticipating What Could Go Wrong: Risk Analysis on Goal Models
|
| 505 |
0 |
0 |
|g 10
|t Modelling Conceptual Objects with Class Diagrams
|
| 505 |
0 |
0 |
|g 11
|t Modelling System Agents and Responsibilities
|
| 505 |
0 |
0 |
|g 12
|t Modelling System Operations
|
| 505 |
0 |
0 |
|g 13
|t Modelling System Behaviours
|
| 505 |
0 |
0 |
|g 14
|t Integrating Multiple System Views
|
| 505 |
0 |
0 |
|g 15
|t A Goal-Oriented Model-Building Method in Action
|
| 505 |
0 |
0 |
|g 16
|t Semi-Formal Reasoning for Model Analysis and Exploitation
|
| 505 |
0 |
0 |
|g 17
|t Formal Specification of System Models
|
| 505 |
0 |
0 |
|g 18
|t Formal Reasoning for Specification Construction and Analysis
|
| 505 |
0 |
0 |
|t Bibliography
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a ARQUITECTURA DE SOFTWARE
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 34771
|