TY  - GEN
T1  - Reasoning about the correctness of software development process
T2  - ^p Datos electrónicos (1 archivo : 216 KB)
A1  - Pons, Claudia Fabiana
A2  - Baum, Gabriel Alfredo
LA  - English
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.52402
NO  - Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 09/03/2009)
KW  - INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE
KW  - PROCESO DE DESARROLLO DE SOFTWARE
ER  -