Principal Resumen Descripcion Lineas Participantes Produccion Formacion Consultas
 
 

Volver

Métodos Formales y Prototipos Evolutivos

 

El uso de métodos formales dentro de la Ingeniería del Software no necesariamente debe estar enfocado solamente en aspectos de especificación, es posible y conveniente extender su uso para generar programas que resuelvan los problemas especificados. Complementar los métodos formales con prototipos constituye, indudablemente, un muy interesante ámbito de estudio y de desarrollo de aportes tangibles y transferibles al entorno social y productivo.

 
 
 
 

Sitios de Interes

 
 
 
 
 
Principal Resumen Descripcion Lineas Participantes Produccion Formacion Consultas
 
Universidad Nacional de San Luis.