Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS

Neste trabalho apresenta-se o projeto da biblioteca bibLOTOS que armazena um conjunto de construçôes predefinidas realizadas com a Técnica de Descrição Formal LOTOS. A bibLOTOS inclui construçôes em LOTOS Básico (onde apenas os aspectos de compbrtamento são definidos) e construçôes em LOTOS completo...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Riso, Bernardo Gonçalves, Notare, Mirela Sechi Moretti Anonni, Maciél, Cristiano
Formato: Objeto de conferencia
Lenguaje:Portugués
Publicado: 1996
Materias:
Ciencias Informáticas
Tools
Distributed Systems
Network communication
sistemas distribuídos
servicios de comunicação
protocolos de ébmunicação
gerencia de redes
especificaçãó formal
construçãôs predefinidas
ferramientas de projeto
LOTOS
Access
bibLOTOS
communication services
communication protocols
netwbrk management
formal specification
pre-defined construcst
design tools
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24211
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares