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

• Ano de defesa: 1994
• Autor(a) principal: ARAÚJO, Alfredo Jackson Pereira de.
• 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
• Palavras-chave em Português: 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; Ciência da Computação
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10188

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.