ISO/IEC 13817-1:1996
Tecnología de la información - Lenguajes de programación, sus entornos e interfaces de software del sistema - Método de desarrollo de Viena - Lenguaje de especificación - Parte 1: Lenguaje base
- Estándar No.
- ISO/IEC 13817-1:1996
- Fecha de publicación
- 1996
- Organización
- International Organization for Standardization (ISO)
- Ultima versión
- ISO/IEC 13817-1:1996
- Alcance
- Especifica el lenguaje de especificación basado en modelo VDM-SL (Método de desarrollo de Viena - Lenguaje de especificación). Contiene la representación matemática y de intercambio, proporciona la sintaxis, la semántica estática y dinámica y la conformidad con las especificaciones y las herramientas.
ISO/IEC 13817-1:1996 Historia
- 1996 ISO/IEC 13817-1:1996 Tecnología de la información - Lenguajes de programación, sus entornos e interfaces de software del sistema - Método de desarrollo de Viena - Lenguaje de especificación - Parte 1: Lenguaje base
