Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos

Detalhes bibliográficos
Ano de defesa: 1996
Autor(a) principal: Maciel, Cristiano
Orientador(a): Riso, Bernardo Gonçalves
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: https://repositorio.ufsc.br/xmlui/handle/123456789/158038
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
id UFSC_413da6f929faec1a57392eccdf4437e7
oai_identifier_str oai:repositorio.ufsc.br:123456789/158038
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaMaciel, CristianoRiso, Bernardo Gonçalves2016-01-08T20:40:04Z2016-01-08T20:40:04Z1996108166https://repositorio.ufsc.br/xmlui/handle/123456789/158038Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoEsta 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.porRedes de computadoresGerênciaLOTOS (Linguagem de programação de computador)Sistemas operacionais distribuídos (Computadores)Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL108166.pdfapplication/pdf4266376https://repositorio.ufsc.br/bitstream/123456789/158038/1/108166.pdf928d643e8dfa7a47bbad3966c456e640MD51123456789/1580382016-03-07 15:53:07.387oai:repositorio.ufsc.br:123456789/158038Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732016-03-07T18:53:07Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
title Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
spellingShingle Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
Maciel, Cristiano
Redes de computadores
Gerência
LOTOS (Linguagem de programação de computador)
Sistemas operacionais distribuídos (Computadores)
title_short Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
title_full Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
title_fullStr Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
title_full_unstemmed Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
title_sort Projeto de sistemas utilizando construções predefinidas aplicadas a gerencia de redes : a biblioteca biblotos
author Maciel, Cristiano
author_facet Maciel, Cristiano
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Maciel, Cristiano
dc.contributor.advisor1.fl_str_mv Riso, Bernardo Gonçalves
contributor_str_mv Riso, Bernardo Gonçalves
dc.subject.classification.pt_BR.fl_str_mv Redes de computadores
Gerência
LOTOS (Linguagem de programação de computador)
Sistemas operacionais distribuídos (Computadores)
topic Redes de computadores
Gerência
LOTOS (Linguagem de programação de computador)
Sistemas operacionais distribuídos (Computadores)
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
publishDate 1996
dc.date.issued.fl_str_mv 1996
dc.date.accessioned.fl_str_mv 2016-01-08T20:40:04Z
dc.date.available.fl_str_mv 2016-01-08T20:40:04Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/xmlui/handle/123456789/158038
dc.identifier.other.pt_BR.fl_str_mv 108166
identifier_str_mv 108166
url https://repositorio.ufsc.br/xmlui/handle/123456789/158038
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/158038/1/108166.pdf
bitstream.checksum.fl_str_mv 928d643e8dfa7a47bbad3966c456e640
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851759141702336512

Registros relacionados