Jose Alain Talav
Mapa Mental por , criado more than 1 year ago

Modelamiento Sistemas Informáticos

36
0
0
Jose Alain Talav
Criado por Jose Alain Talav mais de 9 anos atrás
Avalie este recurso clicando nas estrelas abaixo:
1 2 3 4 5 (0)
Classificação (0)
0
0
0
0
0

0 comentários

There are no comments, be the first and leave one below:

Fechar
ModelamientoSistemasInformáticosCaracterísticas:Permitir laabstracciónUsar notacionesModelamiento Formal:Metodos Axiomaticos:Primer paso para laformalización de diseñoBasada en Teoría de Conjuntos: Secaracterizan por el estado del programa seexpresa de manera explicitaTecnica Basada en Álgebra deProcesos: Modelan la interacciónconcurrente entre procesossencuenciales.Tecnicas Formales:CSP: Define la concurrenciamediante la comunicacion deprocesosLOTOS: Esta constituido porsubsistemas que se ejecutanconcurrentementeTAU de TelelogicSimulalcion: Permite escoger el simuladorGeneracion de Codigos:Genera codigo ejecutable dela aplicaciónValidación y Verificación:Se compila para validaderroresLenguajes Gráficos de Modelado:SDLUMLSe fucionan tres metodos dedesarrollo orientado a objetos:BOOCH, OOSE, OMTClique duas vezes aqui para editar o textoClique e arraste este botão para criar um novo tópico