Ferramentas para linguagem de especificação LOTOS

Ferramentas para linguagem de especificação LOTOS

Hunberto Maia Lima

DISSERTAÇÃO

Português

(Broch.)

T/UNICAMP L628f

Campinas, SP : [s.n.], 1992.

[165] f. : il.

Orientador: Mauricio Ferreira Magalhães

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: Este trabalho propõe a implementação de um ambiente de auxílio ao desenvolvimento de especificações de sistema que utilizam LOTOS como linguagem. Tal ambiente é formado de um conjunto integrado de ferramentas composto de um editor de texto, um analisador sintático e semântico e um simulador...

Abstract: An environment for system design using LOTOS as specification language is proposed. The environment is composed by an editor, a syntax and semaoticchecker and a simulator all workingin an integrated from. Different from similar works described in the literature, the proposed implementation...

Ferramentas para linguagem de especificação LOTOS

Hunberto Maia Lima


										

Ferramentas para linguagem de especificação LOTOS

Hunberto Maia Lima

    Exemplares