Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:40:04Z (GMT). No. of bitstreams: 1
108166.pdf: 4266376 bytes, checksum: 928d643e8dfa7a47bbad3966c456e640 (MD5)
Previous issue date: 1996 / Esta dissertação apresenta uma abordagem para o projeto de sistemas de gerência de redes de computadores que emprega uma biblioteca de construções predefinidas (a biblioteca bibLOTOS), realizadas com o uso da Técnica de Descrição Formal LOTOS. A biblioteca, implementada em banco de Dados ACCESS 2.0, inclui construções em LOTOS Básico, ACT ONE e LOTOS Completo. O emprego da bibLOTOS, assim como do método a ela associado, são ilustrados com o projeto de um sistema de gerência proativa de redes. Ferramentas LOTOS são utilizadas para a validação das especificações.
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/158038 |
Date | January 1996 |
Creators | Maciel, Cristiano |
Contributors | Universidade Federal de Santa Catarina, Riso, Bernardo Gonçalves |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0014 seconds