TY - BOOK AU - Lamsweerde,A.van TI - Requirements engineering: from system goals to UML models to software specifications SN - 9780470012703 U1 - 005.1 22 PY - 2009/// CY - Chichester, England PB - John Wiley KW - INGENIERÍA DE SOFTWARE (Computadoras) KW - INGENIERIA DE SISTEMAS N1 - 1.- Setting the scene -- 2.- Domain understanding and requirements elicitation -- 3.- Requirements evaluation -- 4.- Requirements specification and documentation -- 5.- Requirements qualy assurance -- 6.- Requirements evolution -- 7.- Goal orentation in requirements engineering -- 8.- Modelling System objetives with goal diagrams -- 9.- Anticipating what could go wrong: risk analysis on goal models -- 10.- Modelling conceptual objects with class diagrams -- 11.- Modelling system agents and responsibilities -- 12.- Modelling system operations -- 13.- Modelling system behaviours -- 14.- Integrating multiple system views -- 15.- A goal - oriented model - building method in action -- 16.- Semi formal reasoning for model analysis and exploitation -- 17.- Formal specification of system models -- 18.- Formal reasoning for specification construction and analysis; COBERTURA BIBLIOGRAFICA: EIN081B Asignatura: Análisis y Diseño de Software UR - https://bibliotecadigital.usm.cl/info/01400520 ER -