Especificação formal, em estelle, de sistemas digitais.

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	ARAÚJO, A. J. P.	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	FERNEDA, Edilson.
dc.contributor.referee2	CAVALCANTI, Antonio Carlos.
dc.description.resumo	Este trabalho tem como objetivo principal mostrar que a técnica de descrição formal Estelle. inicialmente utilizada para a descrição de protocolos de comunicação, pode ser também empregada na produção de especificações na área de sistemas digitais. Essa abordagem torna-se particularmente interessante nos casos em que se deseja obter implementações de protocolos em hardware ou em firmware, possibilitando que um único formalismo seja empregado em quase todas as etapas do ciclo de desenvolvimento desses protocolos.	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	Especificação formal, em estelle, de sistemas digitais.	pt_BR
dc.date.issued	1994-04-28
dc.description.abstract	The main goal of this work is to show how the formal description technique Estelle. early used to describe communication protocols, can be employed to make specifications into digital systems area. This approach is very interesting in the cases of protocols implementations on hardware or firmware, possibiliting the use of a single formalism during almost all steps of the development cicle of those protocols.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10188
dc.date.accessioned	2019-12-13T15:29:59Z
dc.date.available	2019-12-13
dc.date.available	2019-12-13T15:29:59Z
dc.type	Dissertação	pt_BR
dc.subject	Redes de Computação
dc.subject	Sistemas Digitais
dc.subject	Técnica de Descrição Formal Estelle
dc.subject	Arquitetura SPARC
dc.subject	VHDL
dc.subject	Linguagem Assembly
dc.subject	Torres de Hanoi
dc.subject	Computer Networks
dc.subject	Digital Systems
dc.subject	Estelle Formal Description Technique
dc.subject	SPARC Architecture
dc.subject	Assembly Language
dc.subject	Towers of Hanoi
dc.rights	Acesso Aberto	pt_BR
dc.creator	ARAÚJO, Alfredo Jackson Pereira de.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Formal specification, in stelle, of digital systems.	pt_BR
dc.identifier.citation	ARAÚJO, Alfredo Jackson Pereira de. Especificação formal, em estelle, de sistemas digitais. 1994. 201f. (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 - Paraíba - Brasil, 1994. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10188	pt_BR