3051564
Beschreibung
Mindmap von Jose Alain Talav, aktualisiert more than 1 year ago
|
Erstellt von Jose Alain Talav
vor mehr als 9 Jahre
|
|
Modelamiento
Sistemas
Informáticos
- Características:
- Permitir la
abstracción
- Usar notaciones
- Permitir la
abstracción
- Modelamiento Formal:
- Metodos Axiomaticos:
Primer paso para la
formalización de diseño
- Basada en Teoría de Conjuntos: Se
caracterizan por el estado del
programa se expresa de manera
explicita
- Tecnica Basada en Álgebra de
Procesos: Modelan la interacción
concurrente entre procesos
sencuenciales.
- CSP: Define la concurrencia
mediante la comunicacion de
procesos
- LOTOS: Esta constituido por
subsistemas que se ejecutan
concurrentemente
- Metodos Axiomaticos:
Primer paso para la
formalización de diseño
- Tecnicas Formales:
- TAU de Telelogic
- Simulalcion: Permite escoger el simulador
- Generacion de Codigos:
Genera codigo ejecutable de
la aplicación
- Validación y
Verificación: Se compila
para validad errores
- Simulalcion: Permite escoger el simulador
- TAU de Telelogic
- Lenguajes Gráficos de Modelado:
- SDL
- UML
- Se fucionan tres metodos de
desarrollo orientado a objetos:
BOOCH, OOSE, OMT
- Se fucionan tres metodos de
desarrollo orientado a objetos:
BOOCH, OOSE, OMT
- SDL
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.