El modelo de Métodos Formales
Comprende un conjunto de actividades que conducen a la especificación matemática del software de computadora. Los métodos formales permiten que un ingeniero de software especifique, desarrolle y verifique un sistema basado en computadora aplicando una notación rigurosa y matemática.
Este enfoque es llamado ingeniería del software de sala limpia.
Cuando se utilizan métodos formales se descubren y corrigen ambigüedades, inconsistencias y errores.
Técnicas de Cuarta Generación
Abarca un conjunto de herramientas que facilitan al ingeniero del software la especificación de las características del software a alto nivel.
La herramienta genera automáticamente el código fuente basándose en la especificación del técnico. Cuanto mayor sea el nivel en el que se especifique el software, más rápido se puede construir el programa.
