O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA

O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA

Orientador: Walter da Cunha Borelli === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação === Made available in DSpace on 2018-07-23T08:02:09Z (GMT). No. of bitstreams: 1 Macario_CarlaGeovanadoNascimento_M.pdf: 8704471 bytes, checksum: bee9d...

Full description

Bibliographic Details
Main Author: Macario, Carla Geovana do Nascimento
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1997
Subjects:
Engenharia de software
Software - Manutenção
Software - Validação
SDL (Linguagem de programação de computador)
Simulação (Computadores)
Software engineering
Common Object Request Broker Architecture (Computer architecture)
Specification and Description Language (SOL)
Software validation
Online Access:MACARIO, Carla Geovana do Nascimento. O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA. 1997. 144 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260007>. Acesso em: 23 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/260007

Internet

MACARIO, Carla Geovana do Nascimento. O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA. 1997. 144 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260007>. Acesso em: 23 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/260007

Similar Items