Modelos basados en Transformaciones

Convierten automáticamente una especificación formal de un producto software en un programa que satisfaga las especificaciones, utilizando herramientas 4G.

1.       ESPECIFICACIÓN FORMAL DEL PRODUCTO

2.       TRANSFORMACIÓN AUTOMÁTICA EN CÓDIGO

3.       ITERACIÓN PARA MEJORAR RENDIMIENTO

4.       PROBAR EL PRODUCTO

5.       REAJUSTAR LAS ESPECIFICACIONES

Disponibles para productos pequeños y áreas limitadas.

MODELO DE T4G

T4G son herramientas de software para facilitar la especificación de algunas de las características del software a alto nivel y generar código a partir de ellas.

*  Herramientas de T4G: Lenguajes acceso a BBDD, generadores código, pantallas e informes, Manipuladores de datos y Facilidades gráficas de alto nivel.

MODELO DE TRANSFORMACIÓN DE McCLURE

Se basa en el empleo de herramientas de ingeniería asistida por Ordenador (CASE) para ir transformando las especificaciones funcionales en el diseño lógico, este en el diseño físico y este en el código fuente.

      Realiza análisis de consistencia de Requisitos

      Mantenimiento en la especificación

      Reusabilidad de objetos de Desarrollo

      Especificación orientada al problema