Análise comparativa de linguagens de especificação de unidades de controlo digitais

• Author(s): Melo, Andreia ; Sklyarov, Valery
• Date: 2004
• Origin: Electrónica e Telecomunicações
• Subject(s): Linguagens gráficas; Sistemas digitais; Unidades de controlo digitais
• Document Type: Journal article
• Language: Portuguese

Description

The paper analyses and compares the most widely used textual and graphical languages for formal specification of digital control units. It demonstrates that graphical languages are more adequate for manual specification and usually it is easier to learn them. As a rule, commercially available tools for the design of digitalsystems support different languages.

Este artigo analisa e compara as linguagens formais gráficas e textuais mais utilizadas na especificação de unidades de controlo digitais. É demonstrado neste artigo que as linguagens gráficas são preferencialmente adoptadas na especificação manual e normalmente de mais fácil aprendizagem. As ferramentas de projecto de sistemas digitais disponíveis actualmente no mercado combinam duas linguagens, uma textual e outra gráfica.