Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação

DSpace Repository

dc.contributor	Universidade Federal de Santa Catarina	pt_BR
dc.contributor.advisor	Camargo, Murilo Silva de	pt_BR
dc.contributor.author	Mello, Braulio Adriano de	pt_BR
dc.date.accessioned	2016-01-08T22:12:15Z
dc.date.available	2016-01-08T22:12:15Z
dc.date.issued	1997	pt_BR
dc.identifier.other	108814	pt_BR
dc.identifier.uri	https://repositorio.ufsc.br/xmlui/handle/123456789/158163
dc.description	Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico	pt_BR
dc.description.abstract	Esta dissertação apresenta um estudo sobre a aplicação da técnica de descrição formal LOTOS na concepção de um sistema para gerência de redes denominado Gateway CMIP-SNMP. São apresentados os resultados obtidos durante o trabalho de descrição LOTOS do sistema, de simulação, de teste e de verificação.	pt_BR
dc.format.extent	xii, 106f.\| il., tabs	pt_BR
dc.language.iso	por	pt_BR
dc.subject.classification	LOTOS (Linguagem de programação de computador)	pt_BR
dc.subject.classification	Redes de computadores	pt_BR
dc.subject.classification	Gerência	pt_BR
dc.title	Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação	pt_BR
dc.type	Dissertação (Mestrado)	pt_BR
dc.contributor.advisor-co	Specialski, Elizabeth Sueli	pt_BR

Files	Size	Format	View
PGCC0038-D.pdf	2.075Mb	PDF	View/Open