An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Se proporciona un sistema de producción automatizado del software, en el cual los requisitos del sistema se capturan, se convierten en una especificación formal, y se validan para la corrección y lo completo. Además, un traductor se proporciona para generar automáticamente un uso completo, robusto del software basado en la especificación formal validada, incluyendo código de la gestión de error del código del usuario-interfaz y.