ISO/IEC 13568:2002
Tecnología de la información - Notación de especificación formal Z - Sintaxis, sistema de tipos y semántica
- Estándar No.
- ISO/IEC 13568:2002
- Fecha de publicación
- 2002
- Organización
- International Organization for Standardization (ISO)
- Estado
- Remplazado por
- ISO/IEC 13568:2002/Cor 1:2007
- Ultima versión
- ISO/IEC 13568:2002/Cor 1:2007
- Alcance
- Lo siguiente está dentro del alcance de esta Norma Internacional: · la sintaxis de la notación Z; · el sistema de tipos de la notación Z; · la semántica de la notación Z; · un conjunto de herramientas de operadores matemáticos ampliamente utilizados; · LATEX [10] y marcas de correo electrónico de la notación Z. Lo siguiente está fuera del alcance de esta norma internacional: · cualquier método de uso de Z, aunque un anexo informativo (E) describe una convención ampliamente utilizada.
ISO/IEC 13568:2002 Historia
- 2007 ISO/IEC 13568:2002/Cor 1:2007 Tecnología de la información. Notación de especificación formal Z. Sintaxis, sistema de tipos y semántica. Corrigendum técnico 1.
- 2002 ISO/IEC 13568:2002 Tecnología de la información - Notación de especificación formal Z - Sintaxis, sistema de tipos y semántica
