Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.

Detalhes bibliográficos
Ano de defesa:	1990
Autor(a) principal:	SOUZA, José Neuman de.
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 Metodologia de Validação - Informática Protocolo Abracadabra Serviço Abracadabra Linguagem Estelle/83 Especificações Formais - Informática Sistema Abraservice Código Pascal das Rotinas de Suporte Informática. Ciência da Computação.
Link de acesso:	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435
Resumo:	Nesse 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.

Registros relacionados