Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/259633
Type: DISSERTAÇÃO
Degree Level: Mestrado
Title: Ferramentas para linguagem de especificação LOTOS
Author: Lima, Humberto Maia
Advisor: Magalhães, Mauricio Ferreira, 1951-
Abstract: 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 of the LOTOS simulator is based on an object orieoted language mappmg the semaotic of LOTOS operators to C++ classes
Subject: Linguagem orientada a objetos
Linguagem de programação (Computadores)
Language: Português
Editor: [s.n.]
Date Issue: 1992
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Lima_HumbertoMaia_M.pdf6.14 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.