1
Ámbito
2 Referencias
3 Abreviaturas
4
Introducción
5 Convenios
5.1 Metanotación sintáctica
5.2 Proformas
6 Reglas generales de
correspondencia
7 Proformas
7.1 Control de sucesión de pruebas
7.1.1 Correspondencia
7.2 Parámetros de sucesión de pruebas
7.2.1 Correspondencia
7.3 Importación de módulos
7.3.1 Correspondencia
7.4 Codificación
7.4.1 Correspondencia
7.5 Tipos simples
7.5.1 Correspondencia
7.6 Tipos estructurados
7.6.1 Correspondencia
7.7 Tipos de puertos
7.7.1 Correspondencia
7.8 Tipos de componentes
7.8.1 Correspondencia
7.9 Constantes
7.9.1 Correspondencia
7.10 Firma
7.10.1 Correspondencia
7.11 Plantillas simples
7.11.1 Correspondencia
7.12 Plantilla estructurada
7.12.1 Correspondencia
7.13 Función
7.13.1 Correspondencia
7.14 Valores por defecto
7.14.1 Correspondencia
7.15 Denominación alternativa
7.15.1 Correspondencia
7.16 Caso de prueba
7.16.1 Correspondencia
8 Tabular presentationformat BNF
(BNF del formato de presentación tabular)
8.1 ReferenceProforma (Proforma de referencia)
8.2 ParametersProforma (Proforma de parámetros)
8.3 ControlProforma (Proforma de control)
8.4 ImportsProforma (Proforma de importaciones)
8.5 EncodingProforma (Proforma de codificación)
8.6 SimpleTypesProforma (Proforma de tipos simples)
8.7 StructuredTypesProforma (Proforma de tipos estructurados)
8.8 PortTypeProforma (Proforma de tipo
de puerto)
8.9 ComponentTypeProforma (Proforma de tipo de componente)
8.10 ConstantsProforma (Proforma de constantes)
8.11 SignatureProforma (Proforma de firma)
8.12 SimpleTemplatesProforma (Proforma de plantillas simples)
8.13 StructuredTemplatesProforma (Proforma de plantillas
estructuradas)
8.14 FunctionProforma (Proforma de función)
8.15 DefaultsProforma (Proforma de valores por defecto)
8.16 NamedAltProforma (Proforma de
denominación alternativa)
8.17 TestcaseProforma (Proforma de caso de
prueba)