Ferramentas para linguagem de especificação LOTOS
AUTOR(ES)
Hunberto Maia Lima
DATA DE PUBLICAÇÃO
1992
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++
ASSUNTO(S)
linguagem orientada a objetos linguagem de programação (computadores)
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000076095Documentos Relacionados
- E-dart : um ambiente de especificação e-lotos
- Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
- FIG : uma linguagem para especificação de figuras
- Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
- Uma linguagem de especificação de aspectos para o desenvolvimento orientado a serviços