• No se han encontrado resultados

Representación Visual de la Ejecución de una Arquitectura de Software Basada en Componentes con Especificación Formal en Cálculo Rho Arq

N/A
N/A
Protected

Academic year: 2020

Share "Representación Visual de la Ejecución de una Arquitectura de Software Basada en Componentes con Especificación Formal en Cálculo Rho Arq"

Copied!
141
0
0

Texto completo

Loading

Figure

Tabla 2.1. xADL 2.0 Esquemas y características. Tomado de [30].
Tabla 2.2. Sintaxis del cálculo ρ arq . Tomado de [58].
Tabla 2.3. Semántica operacional. Tomado de [4].
Figura 3.2. Autómata finito determinístico para análisis LL(*).  La notación Sn => i indica “El estado predice la  alternativa i”
+7

Referencias

Documento similar