UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.

UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.

Este trabalho apresenta o GASC (Gerador de Aplicação para Sistemas Concorrentes) constituído de uma linguagem de especificação, um analisador estruturural e semântico, e um gerador de código. A linguagem do GASC é baseada em características de outras linguagens de programação e de especificação form...

Full description

Bibliographic Details
Main Author: Vasconcelos, Jose Roberto
Other Authors: Santana, Regina Helena Carlucci
Format: Others
Language:pt
Published: Biblioteca Digitais de Teses e Dissertações da USP 1996
Subjects:
Não disponível
Not available
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15012018-145834/

Similar Items

Similar Items