Uma ferramenta para validação de protocolos de comunicação.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	FREITAS JÚNIOR, O. G.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/1878932894256747	pt_BR
dc.contributor.advisor1	SOUZA, Wanderley Lopes de.
dc.contributor.advisor1ID	SOUZA, W. L de.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/3742302894743620	pt_BR
dc.contributor.referee1	MARTINS, Joberto Sergio Barbosa.
dc.contributor.referee1Lattes	http://lattes.cnpq.br/8321013081371965	pt_BR
dc.contributor.referee2	SOUZA, José Neuman de.
dc.contributor.referee2Lattes	http://lattes.cnpq.br/3614256141054800	pt_BR
dc.description.resumo	Este 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.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação.
dc.title	Uma ferramenta para validação de protocolos de comunicação.	pt_BR
dc.date.issued	1992-04
dc.description.abstract	This 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.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490
dc.date.accessioned	2019-01-10T09:54:43Z
dc.date.available	2019-01-10
dc.date.available	2019-01-10T09:54:43Z
dc.type	Dissertação	pt_BR
dc.subject	Protocolos de comunicação
dc.subject	Matriz duologue
dc.subject	Validação de protocolos de comunicação
dc.subject	Validação da Matriz Duologue
dc.subject	Validação de protocolos formais
dc.subject	Unilogues
dc.subject	Protocolo X.25 do CCITT
dc.subject	Communication protocols
dc.subject	Validation of communication protocols
dc.subject	Matrix duologue
dc.rights	Acesso Aberto	pt_BR
dc.creator	FREITAS JÚNIOR, Olival de Gusmão.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	A tool for validation of communication protocols.	pt_BR
dc.relation	FREITAS 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.citation	FREITAS 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