1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10188
Full metadata record
DC FieldValueLanguage
dc.creator.IDARAÚJO, A. J. P.pt_BR
dc.contributor.advisor1SOUZA, Wanderley Lopes de.-
dc.contributor.advisor1IDSOUZA, W. L.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/3742302894743620pt_BR
dc.contributor.referee1FERNEDA, Edilson.-
dc.contributor.referee2CAVALCANTI, Antonio Carlos.-
dc.description.resumoEste 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.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computação-
dc.titleEspecificação formal, em estelle, de sistemas digitais.pt_BR
dc.date.issued1994-04-28-
dc.description.abstractThe 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.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10188-
dc.date.accessioned2019-12-13T15:29:59Z-
dc.date.available2019-12-13-
dc.date.available2019-12-13T15:29:59Z-
dc.typeDissertaçãopt_BR
dc.subjectRedes de Computação-
dc.subjectSistemas Digitais-
dc.subjectTécnica de Descrição Formal Estelle-
dc.subjectArquitetura SPARC-
dc.subjectVHDL-
dc.subjectLinguagem Assembly-
dc.subjectTorres de Hanoi-
dc.subjectComputer Networks-
dc.subjectDigital Systems-
dc.subjectEstelle Formal Description Technique-
dc.subjectSPARC Architecture-
dc.subjectAssembly Language-
dc.subjectTowers of Hanoi-
dc.rightsAcesso Abertopt_BR
dc.creatorARAÚJO, Alfredo Jackson Pereira de.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeFormal specification, in stelle, of digital systems.pt_BR
dc.identifier.citationARAÚ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/10188pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
ALFREDO JACKSON PEREIRA DE ARAÚJO - DISSERTAÇÃO PPGCC 1994.pdfAlfredo Jackson Pereira de Araújo - Dissertação PPGCC 1994. 44.27 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.