Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10188| Title: | Especificação formal, em estelle, de sistemas digitais. |
| Other Titles: | Formal specification, in stelle, of digital systems. |
| ???metadata.dc.creator???: | ARAÚJO, Alfredo Jackson Pereira de. |
| ???metadata.dc.contributor.advisor1???: | SOUZA, Wanderley Lopes de. |
| ???metadata.dc.contributor.referee1???: | FERNEDA, Edilson. |
| ???metadata.dc.contributor.referee2???: | CAVALCANTI, Antonio Carlos. |
| Keywords: | Redes de Computação;Sistemas Digitais;Técnica de Descrição Formal Estelle;Arquitetura SPARC;VHDL;Linguagem Assembly;Torres de Hanoi;Computer Networks;Digital Systems;Estelle Formal Description Technique;SPARC Architecture;Assembly Language;Towers of Hanoi |
| Issue Date: | 28-Apr-1994 |
| Publisher: | Universidade Federal de Campina Grande |
| 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 |
| ???metadata.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. |
| 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. |
| Keywords: | Redes de Computação Sistemas Digitais Técnica de Descrição Formal Estelle Arquitetura SPARC VHDL Linguagem Assembly Torres de Hanoi Computer Networks Digital Systems Estelle Formal Description Technique SPARC Architecture Assembly Language Towers of Hanoi |
| ???metadata.dc.subject.cnpq???: | Ciência da Computação |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10188 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ALFREDO JACKSON PEREIRA DE ARAÚJO - DISSERTAÇÃO PPGCC 1994.pdf | Alfredo Jackson Pereira de Araújo - Dissertação PPGCC 1994. | 44.27 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.