Ferramentas para linguagem de especificação LOTOS
Autor(a) principal: | |
---|---|
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 |