1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435
Full metadata record
DC FieldValueLanguage
dc.creator.IDSOUZA, J. N.pt_BR
dc.contributor.advisor1SOUZA, Wanderley Lopes de.-
dc.contributor.advisor1IDSOUZA, W. L.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/3742302894743620pt_BR
dc.contributor.referee1SILVA, Solon Benayon da.-
dc.contributor.referee2MARTINS, Joberto Sérgio Barbosa.-
dc.description.resumoNesse trabalho è proposta uma metodologia para validar, através de simulação, especificações formais de protocolos, realizadas com a técnica de descrição formal (TDF) "Extended State Transition Lançjuaçje (Estelle)", versão de 1983. Essa metodologia utiliza, como ferramenta, o compilador Estelle/83, desenvolvido junto ao Grupo de Redes de Computadores (GRC) da Universidade Federal da Paraíba (UFPB). A esse compilador é acrescentado um núcleo de simulação que permite o acompanhamento da execução do sistema especificado.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqInformática.pt_BR
dc.subject.cnpqCiência da Computação.pt_BR
dc.titleUma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.pt_BR
dc.date.issued1990-03-26-
dc.description.abstractThis work presents a méthodologie for validation, by simulation, of protocol formal specifications described with the formal description technique (FDT ) Extended State Transition Language (Estelle), version 1983. This méthodologie uses the Estelle/83 compiler, developed by the Computer Networks Group (GRC ) of Paraiba University ( UFPb ). A simulation kernel is added to this compiler to observe the execution of the specified system.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435-
dc.date.accessioned2018-12-21T20:50:25Z-
dc.date.available2018-12-21-
dc.date.available2018-12-21T20:50:25Z-
dc.typeDissertaçãopt_BR
dc.subjectProtocolos de Comunicaçãopt_BR
dc.subjectMetodologia de Validação - Informáticapt_BR
dc.subjectProtocolo Abracadabrapt_BR
dc.subjectServiço Abracadabrapt_BR
dc.subjectLinguagem Estelle/83pt_BR
dc.subjectEspecificações Formais - Informáticapt_BR
dc.subjectSistema Abraservicept_BR
dc.subjectCódigo Pascal das Rotinas de Suportept_BR
dc.rightsAcesso Abertopt_BR
dc.creatorSOUZA, José Neuman de.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeA methodologie for validation, by simulation of communication protocols specified formally.pt_BR
dc.description.sponsorshipCNPqpt_BR
dc.description.sponsorshipCapespt_BR
dc.identifier.citationSOUZA, José Neumam de. Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. 1990. 221 f. (Dissertação de Mestrado em Informática), Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II - Campina Grande, Brasil, 1990. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
JOSÉ NEUMAM DE SOUZA - PPGCC 1990.pdfJosé Neumam de Souza - Dissertação PPGCC 1990.29.6 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.