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
id I19-R120-10915-24211
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Portugués
topic 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
spellingShingle 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
Riso, Bernardo Gonçalves
Notare, Mirela Sechi Moretti Anonni
Maciél, Cristiano
Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
topic_facet 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
description 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(onde, além dos aspectos de comportamento sao copsiderados os aspectos de dados). A bibLOTOS é implementada utilizando o Gerenciador de Sánco de Dados Access para l1licrocomputadores. Umexemplo de utilização da bibLOTOS, no caso de um projeto de um sistema de geréncia proativa eje redes, é apresentado
format Objeto de conferencia
Objeto de conferencia
author Riso, Bernardo Gonçalves
Notare, Mirela Sechi Moretti Anonni
Maciél, Cristiano
author_facet Riso, Bernardo Gonçalves
Notare, Mirela Sechi Moretti Anonni
Maciél, Cristiano
author_sort Riso, Bernardo Gonçalves
title Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
title_short Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
title_full Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
title_fullStr Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
title_full_unstemmed Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
title_sort engenharia de protocolos com o uso de construçoes predefinidas em lotos
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/24211
work_keys_str_mv AT risobernardogoncalves engenhariadeprotocoloscomousodeconstrucoespredefinidasemlotos
AT notaremirelasechimorettianonni engenhariadeprotocoloscomousodeconstrucoespredefinidasemlotos
AT macielcristiano engenhariadeprotocoloscomousodeconstrucoespredefinidasemlotos
bdutipo_str Repositorios
_version_ 1764820466727387136

Ejemplares similares