Mind map
Modelamiento Sistemas Informáticos
Mapa mental: modelamiento de sistemas informáticos
Map content
Modelamiento Sistemas Informáticos
Características:
- Permitir la abstracción
- Usar notaciones
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
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
- TAU de Telelogic
Lenguajes Gráficos de Modelado:
- SDL
- UML
- Se fucionan tres metodos de desarrollo orientado a objetos: BOOCH, OOSE, OMT
Information
- Description
- Modelamiento Sistemas Informáticos
- Created by
- Jose Alain Talav
- Views
- 64
- Tags
- Rating