| dc.contributor |
Universidade Federal de Santa Catarina |
pt_BR |
| dc.contributor.advisor |
Riso, Bernardo Gonçalves |
pt_BR |
| dc.contributor.author |
Maciel, Cristiano |
pt_BR |
| dc.date.accessioned |
2016-01-08T20:40:04Z |
|
| dc.date.available |
2016-01-08T20:40:04Z |
|
| dc.date.issued |
1996 |
pt_BR |
| dc.identifier.other |
108166 |
pt_BR |
| dc.identifier.uri |
https://repositorio.ufsc.br/xmlui/handle/123456789/158038 |
|
| dc.description |
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico |
pt_BR |
| dc.description.abstract |
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. |
pt_BR |
| dc.language.iso |
por |
pt_BR |
| dc.subject.classification |
Redes de computadores |
pt_BR |
| dc.subject.classification |
Gerência |
pt_BR |
| dc.subject.classification |
LOTOS (Linguagem de programação de computador) |
pt_BR |
| dc.subject.classification |
Sistemas operacionais distribuídos (Computadores) |
pt_BR |
| dc.title |
Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos |
pt_BR |
| dc.type |
Dissertação (Mestrado) |
pt_BR |
