• Barajar
    Activar
    Desactivar
  • Alphabetizar
    Activar
    Desactivar
  • Frente Primero
    Activar
    Desactivar
  • Ambos lados
    Activar
    Desactivar
  • Leer
    Activar
    Desactivar
Leyendo...
Frente

Cómo estudiar sus tarjetas

Teclas de Derecha/Izquierda: Navegar entre tarjetas.tecla derechatecla izquierda

Teclas Arriba/Abajo: Colvea la carta entre frente y dorso.tecla abajotecla arriba

Tecla H: Muestra pista (3er lado).tecla h

Tecla N: Lea el texto en voz.tecla n

image

Boton play

image

Boton play

image

Progreso

1/3

Click para voltear

3 Cartas en este set

  • Frente
  • Atrás
CHAM
Chemical Abstract Machine
1990
Berry / Boudol
No es estrictamente un ADL,
Técnica de especificación basada en álgebra de procesos Moléculas (componentes básicos) Soluciones de moléculas (multiconjuntos que definen estados) Reglas de transformación (cambios de estado) – No determinismo si hay más de una regla para una molécula o solución
Rapide
1990
Luckham (Stanford)
Modelado de interfaces de componentes y conductas observables ADL más lenguaje de simulación, 5 lenguajes: de tipos (interfaces de componentes); de arquitectura (flujo de eventos); de especificación (restricciones abstractas de conducta); ejecutable (describe módulos ejecutables); de patrones (describe patrones de eventos) Modela conducta (= Wright) Genera código C++ o Ada
Darwin
1991
Magee, Dulay, Eisenbach, Kramer
Es un lenguaje para describir estructuras de software que ha existido, en diversas formas sintácticas, desde 1991.

Promueve un componente enfoque basado en objetos para la estructuración del programa en el que la unidad de la estructura (el componente) esconde su comportamiento detrás de una interfaz bien definida.