Ferramentas para linguagem de especificação LOTOS
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...
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 para LOTOS. Diferente de outras implementações descritas na literatura, é proposta a implementação do simulador LOTOS em uma linguagem orientada para objetos utilizando um mapeamento da semântica dos operadores LOTOS para classes C++
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...
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 of the LOTOS simulator is based on an object orieoted language mappmg the semaotic of LOTOS operators to C++ classes
Ferramentas para linguagem de especificação LOTOS
Ferramentas para linguagem de especificação LOTOS
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra