Uma metodologia para validação, através de simulação de especificações formais 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	SOUZA, J. N.	pt_BR
dc.contributor.advisor1	SOUZA, Wanderley Lopes de.
dc.contributor.advisor1ID	SOUZA, W. L.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/3742302894743620	pt_BR
dc.contributor.referee1	SILVA, Solon Benayon da.
dc.contributor.referee2	MARTINS, Joberto Sérgio Barbosa.
dc.description.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.	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	Informática.	pt_BR
dc.subject.cnpq	Ciência da Computação.	pt_BR
dc.title	Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.	pt_BR
dc.date.issued	1990-03-26
dc.description.abstract	This 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.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435
dc.date.accessioned	2018-12-21T20:50:25Z
dc.date.available	2018-12-21
dc.date.available	2018-12-21T20:50:25Z
dc.type	Dissertação	pt_BR
dc.subject	Protocolos de Comunicação	pt_BR
dc.subject	Metodologia de Validação - Informática	pt_BR
dc.subject	Protocolo Abracadabra	pt_BR
dc.subject	Serviço Abracadabra	pt_BR
dc.subject	Linguagem Estelle/83	pt_BR
dc.subject	Especificações Formais - Informática	pt_BR
dc.subject	Sistema Abraservice	pt_BR
dc.subject	Código Pascal das Rotinas de Suporte	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	SOUZA, José Neuman de.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	A methodologie for validation, by simulation of communication protocols specified formally.	pt_BR
dc.description.sponsorship	CNPq	pt_BR
dc.description.sponsorship	Capes	pt_BR
dc.identifier.citation	SOUZA, 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/2435	pt_BR