1 Alcance
2 Referencias
3 Abreviaturas
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