3051564
Descripción
Mapa Mental por Jose Alain Talav, actualizado hace más de 1 año
|
Creado por Jose Alain Talav
hace más de 9 años
|
|
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
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.