1 Alcance
2 Referencias
3 Siglas
4 Introducción
5 Convenios
5.1 Metanotación sintáctica
5.2 Texto de la
especificación
5.3 Proformas
5.4 Lenguaje núcleo
5.5 Reglas generales de
correspondencia
6 Proformas
6.1 Control de sucesión de
pruebas
6.2 Parámetros de sucesión
de pruebas
6.3 Importación de módulos
6.4 Tipos simples
6.5 Tipos estructurados
6.6 Tipos SequenceOf
(secuencia de)
6.7 Tipo enumerado
6.8 Tipos de puertos
6.9 Tipos de componentes
6.10 Constantes
6.11 Firma
6.12 Plantillas simples
6.13 Plantilla estructurada
6.14 Función
6.15 Altstep
6.16 Caso
de prueba
7 Producciones BNF