TY  - BOOK
AU  - Lamsweerde Axel Van
TI  - Requirements engineering / : From System Goals to UML Models to Software Specifications
SN  - 9780470012703
U1  - 005.1 L217r 21
PY  - 2009///
CY  - Viena : 
PB  - Library Bruegel, 
KW  - Ingenier�ia de software
KW  - Arquitectura de computadores
KW  - Configuraci�on de computadores
N1  - Incluye bibliograf�ia e �indice; Fundamentals or requirements engineering.--Doman undersatanding and requirements elicitation.---Requirements evaluation.--Requerments specification and docuemtation.--Requirements quality assurance.--Requirements evolution.--Goal orientation in requirements engineering.--Building system models for requirements engineering.--Modelling system objectives with gosl diagrams.--Anticipating what gould go wrong: Risk analysis on goal models.--Modelling conceptual obkects with class diagrams.--Modelling system agents and responsabilities.--Modeling systems operations.--Modellling system behaviours.--Integrating  multiple systems views.--A goal orientaed model building method in action.--Reasoning about system models.--Semi -formal reasoning for model analysis and exploitation.--Formal specification of system models.--Formal reasoning construction and analysis
ER  -