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.
|