3051564
Description
Mind Map by Jose Alain Talav, updated more than 1 year ago
|
Created by Jose Alain Talav
over 9 years ago
|
|
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
Want to create your own Mind Maps for free with GoConqr? Learn more.