- Barajar
ActivarDesactivar
- Alphabetizar
ActivarDesactivar
- Frente Primero
ActivarDesactivar
- Ambos lados
ActivarDesactivar
- Leer
ActivarDesactivar
Leyendo...
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
Boton play
Boton play
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. |