3051564
Descrição
Mapa Mental por Jose Alain Talav, atualizado more than 1 year ago
|
Criado por Jose Alain Talav
mais de 9 anos atrás
|
|
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
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.