Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/95943

Verifying goal-oriented specifications used in model-driven development processes
Giachetti, Giovanni; Marín, Beatriz; López Cuesta, Lidia; Franch Gutiérrez, Javier; López Pastor, Oscar
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. GESSI - Grup d'Enginyeria del Software i dels Serveis
Àrees temàtiques de la UPC::Informàtica::Enginyeria del software
Formal methods (Computer science)
Requirements engineering
Model-driven development
Verification approach
Goal-oriented requirements
i* framework
Mètodes formals (Informàtica)
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/submittedVersion
Artículo
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Giachetti, Giovanni; Franch Gutiérrez, Javier; Marín, Beatriz; Pastor, Oscar; Cares, Carlos; López Cuesta, Lidia
Ruiz, Marcela A. G.; Costal Costa, Dolors; España, Sergio; Franch Gutiérrez, Javier; López Pastor, Oscar
Vos, Tanja; Marín, Beatriz; Panach, Ignacio; Baars, Arthur; Ayala Martínez, Claudia Patricia; Franch Gutiérrez, Javier
Giachetti, Giovanni; Marin, Beatriz; Franch Gutiérrez, Javier
Giachetti, Giovanni; Alencar, Fernanda; Franch Gutiérrez, Javier; Pastor, Oscar