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

Detalhes bibliográficos
Ano de defesa:	1992
Autor(a) principal:	FREITAS JÚNIOR, Olival de Gusmão.
Orientador(a):	Não Informado pela instituição
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:	Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG
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
Palavras-chave em Português:	Protocolos de comunicação Matriz duologue Validação de protocolos de comunicação Validação da Matriz Duologue Validação de protocolos formais Unilogues Protocolo X.25 do CCITT Communication protocols Validation of communication protocols Matrix duologue Ciência da Computação.
Link de acesso:	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490
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.

Registros relacionados