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/2490
Full metadata record
DC FieldValueLanguage
dc.creator.IDFREITAS JÚNIOR, O. G.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/1878932894256747pt_BR
dc.contributor.advisor1SOUZA, Wanderley Lopes de.-
dc.contributor.advisor1IDSOUZA, W. L de.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/3742302894743620pt_BR
dc.contributor.referee1MARTINS, Joberto Sergio Barbosa.-
dc.contributor.referee1Latteshttp://lattes.cnpq.br/8321013081371965pt_BR
dc.contributor.referee2SOUZA, José Neuman de.-
dc.contributor.referee2Latteshttp://lattes.cnpq.br/3614256141054800pt_BR
dc.description.resumoEste trabalho apresenta uma ferramenta, baseada na técnica Matriz Duologue, para a validação de protocolos de comunicação. Essa ferramenta auxilia o projetista, na fase inicial de design do protocolo, a identificar e corrigir erros básicos, de forma interativa e amigável. Para ilustrar essa técnica e demonstrar a utilidade dessa ferramenta, uma versão simplificada do protocolo X.25 do CCITT é especificada, analisada e validada.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.cnpqCiência da Computação.-
dc.titleUma ferramenta para validação de protocolos de comunicação.pt_BR
dc.date.issued1992-04-
dc.description.abstractThis work presents a t o o l , based on the Duologue Matriz technique, for the validation of communication protocols. This tool helps the designer, in the initial phase of the protocol design, to identify and to correct basic errors in a interative and friendly way. To ilustrate this technique and to demonstrate the importance of this t o o l , a simplified version of the CCITT (Consultative Committee for International Telegraph and Telephone) X.25 protocol is specified, analysed and validated.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490-
dc.date.accessioned2019-01-10T09:54:43Z-
dc.date.available2019-01-10-
dc.date.available2019-01-10T09:54:43Z-
dc.typeDissertaçãopt_BR
dc.subjectProtocolos de comunicação-
dc.subjectMatriz duologue-
dc.subjectValidação de protocolos de comunicação-
dc.subjectValidação da Matriz Duologue-
dc.subjectValidação de protocolos formais-
dc.subjectUnilogues-
dc.subjectProtocolo X.25 do CCITT-
dc.subjectCommunication protocols-
dc.subjectValidation of communication protocols-
dc.subjectMatrix duologue-
dc.rightsAcesso Abertopt_BR
dc.creatorFREITAS JÚNIOR, Olival de Gusmão.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeA tool for validation of communication protocols.pt_BR
dc.relationFREITAS JÚNIOR, Olival de Gusmão. Uma Ferramenta para validação de protocolos de comunicação. 86f. 1992. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1992.pt_BR
dc.identifier.citationFREITAS JÚNIOR, Olival de Gusmão. Uma ferramenta para validação de protocolos de comunicação. 1992. 86f. (Dissertação de Mestrado em Informática), curso de Mestrado em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490-
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
OLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992.pdfOlival de Gusmão Freitas Júnior - Dissertação PPGCC 1992.14.4 MBAdobe PDFView/Open
Show simple item record


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