Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
Show full item record
Title:
|
Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos |
Author:
|
Maciel, Cristiano
|
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. |
Description:
|
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico |
URI:
|
https://repositorio.ufsc.br/xmlui/handle/123456789/158038
|
Date:
|
1996 |
Files in this item
This item appears in the following Collection(s)
Show full item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account
Statistics
Compartilhar