Ferramentas para linguagem de especificação LOTOS

Detalhes bibliográficos
Autor(a) principal: Lima, Humberto Maia
Data de Publicação: 1992
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1581326
Resumo: Orientador: Mauricio Ferreira Magalhães
id UNICAMP-30_a754b30e3c1ac449b5aeeef56ac1e981
oai_identifier_str oai::75878
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Ferramentas para linguagem de especificação LOTOSLinguagem orientada a objetosLinguagem de programação (Computadores)Orientador: Mauricio Ferreira MagalhãesDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: 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++ classesMestradoMestre em Engenharia Elétrica[s.n.]Magalhães, Mauricio Ferreira, 1951-Universidade Estadual de Campinas. Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASLima, Humberto Maia19921992-06-15T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[165] f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1581326LIMA, Humberto Maia. Ferramentas para linguagem de especificação LOTOS. 1992. [165] f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581326. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/75878porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-04-29T17:15:49Zoai::75878Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-04-29T17:15:49Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Ferramentas para linguagem de especificação LOTOS
title Ferramentas para linguagem de especificação LOTOS
spellingShingle Ferramentas para linguagem de especificação LOTOS
Lima, Humberto Maia
Linguagem orientada a objetos
Linguagem de programação (Computadores)
title_short Ferramentas para linguagem de especificação LOTOS
title_full Ferramentas para linguagem de especificação LOTOS
title_fullStr Ferramentas para linguagem de especificação LOTOS
title_full_unstemmed Ferramentas para linguagem de especificação LOTOS
title_sort Ferramentas para linguagem de especificação LOTOS
author Lima, Humberto Maia
author_facet Lima, Humberto Maia
author_role author
dc.contributor.none.fl_str_mv Magalhães, Mauricio Ferreira, 1951-
Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Lima, Humberto Maia
dc.subject.por.fl_str_mv Linguagem orientada a objetos
Linguagem de programação (Computadores)
topic Linguagem orientada a objetos
Linguagem de programação (Computadores)
description Orientador: Mauricio Ferreira Magalhães
publishDate 1992
dc.date.none.fl_str_mv 1992
1992-06-15T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1581326
LIMA, Humberto Maia. Ferramentas para linguagem de especificação LOTOS. 1992. [165] f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581326. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
LIMA, Humberto Maia. Ferramentas para linguagem de especificação LOTOS. 1992. [165] f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1581326. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1581326
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/75878
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[165] f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138306744647680

Registros relacionados