Modelamiento Sistemas Informáticos

Jose Alain Talav
Mind Map by Jose Alain Talav, updated more than 1 year ago
Jose Alain Talav
Created by Jose Alain Talav about 6 years ago
11
0

Description

Modelamiento Sistemas Informáticos

Resource summary

Modelamiento Sistemas Informáticos
  1. Características:
    1. Permitir la abstracción
      1. Usar notaciones
      2. Modelamiento Formal:
        1. Metodos Axiomaticos: Primer paso para la formalización de diseño
          1. Basada en Teoría de Conjuntos: Se caracterizan por el estado del programa se expresa de manera explicita
            1. Tecnica Basada en Álgebra de Procesos: Modelan la interacción concurrente entre procesos sencuenciales.
              1. CSP: Define la concurrencia mediante la comunicacion de procesos
                1. LOTOS: Esta constituido por subsistemas que se ejecutan concurrentemente
                2. Tecnicas Formales:
                  1. TAU de Telelogic
                    1. Simulalcion: Permite escoger el simulador
                      1. Generacion de Codigos: Genera codigo ejecutable de la aplicación
                        1. Validación y Verificación: Se compila para validad errores
                      2. Lenguajes Gráficos de Modelado:
                        1. SDL
                          1. UML
                            1. Se fucionan tres metodos de desarrollo orientado a objetos: BOOCH, OOSE, OMT
                          Show full summary Hide full summary

                          Similar

                          LAS ARQUITECTURAS DE NEGOCIO, DE PROCESOS Y DE BPM
                          Elasio Rengifo Renteria
                          DELITOS INFORMÁTICOS Tatiana
                          Tatiana Torres Q
                          Evaluación Sistemas informáticos
                          domatoga
                          Tema 4. Gestión de Recursos. Entrada/Salida
                          Rebecca Hernandez Boix
                          Desastres Informáticos
                          Lore Acurio
                          Herramientas de diseño de AutoCad
                          miguel marquez
                          Pruebas del Software
                          Luis Arce
                          Calidad de Software
                          Cristina Caballero
                          Tecnologías de Almacenamiento
                          Alejandro Villalobos
                          Retos de la ciudadanía digital
                          soldoml
                          DELITOS INFORMÁTICOS 4
                          Yesica Velez Barrera