UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.

Detalhes bibliográficos
Ano de defesa: 1996
Autor(a) principal: Jose Roberto Vasconcelos
Orientador(a): Regina Helena Carlucci Santana
Banca de defesa: Fernao Stella de Rodrigues Germano, Jan Frans Willem Slaets
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade de São Paulo
Programa de Pós-Graduação: Ciências da Computação e Matemática Computacional
Departamento: Não Informado pela instituição
País: BR
Link de acesso: https://doi.org/10.11606/D.55.2018.tde-15012018-145834
Resumo: Este trabalho apresenta o GASC (Gerador de Aplicação para Sistemas Concorrentes) constituído de uma linguagem de especificação, um analisador estruturural e semântico, e um gerador de código. A linguagem do GASC é baseada em características de outras linguagens de programação e de especificação formal. O objetivo do GASC é oferecer uma ferramenta de fácil utilização para especificação de sistemas concorrentes, juntamente com a validação da especificação e a geração automática de código na linguagem de programação OCCAM. Os conceitos envolvidos com processamento paralelo, especificações formais e geradores de aplicações são apresentados e discutidos com o objetivo de se formar uma base para o desenvolvimento do trabalho. Exemplos de todas as fases, desde a representação do problema até a geração do código, são apresentados.
id USP_b971696b8e8eb0a32b19ad835d6377e6
oai_identifier_str oai:teses.usp.br:tde-15012018-145834
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS. Not available 1996-08-06Regina Helena Carlucci SantanaFernao Stella de Rodrigues GermanoJan Frans Willem SlaetsJose Roberto VasconcelosUniversidade de São PauloCiências da Computação e Matemática ComputacionalUSPBR Não disponível Not available Este trabalho apresenta o GASC (Gerador de Aplicação para Sistemas Concorrentes) constituído de uma linguagem de especificação, um analisador estruturural e semântico, e um gerador de código. A linguagem do GASC é baseada em características de outras linguagens de programação e de especificação formal. O objetivo do GASC é oferecer uma ferramenta de fácil utilização para especificação de sistemas concorrentes, juntamente com a validação da especificação e a geração automática de código na linguagem de programação OCCAM. Os conceitos envolvidos com processamento paralelo, especificações formais e geradores de aplicações são apresentados e discutidos com o objetivo de se formar uma base para o desenvolvimento do trabalho. Exemplos de todas as fases, desde a representação do problema até a geração do código, são apresentados. This work presents the GASC system (Application Generator for Concurrent Systems) composed of a specification language, a structural and semantic analyser and a code generator. The language of GASC is based on characteristics of other programming and formal specification languages. The main objective of GASC is to offer an easy-to-use tool for concurrent system specification, together with the validation of the specification and automatic code generation for the OCCAM programming language. The concepts involved with parallel processing, formal specifications and application generators are presented and discussed, aiming to build the required background for the development of the work. Examples of ali the steps are presented, covering from the representation of the problem to the code generation. https://doi.org/10.11606/D.55.2018.tde-15012018-145834info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USP2023-12-21T18:59:44Zoai:teses.usp.br:tde-15012018-145834Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212018-07-19T20:50:39Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.pt.fl_str_mv UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
dc.title.alternative.en.fl_str_mv Not available
title UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
spellingShingle UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
Jose Roberto Vasconcelos
title_short UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
title_full UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
title_fullStr UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
title_full_unstemmed UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
title_sort UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
author Jose Roberto Vasconcelos
author_facet Jose Roberto Vasconcelos
author_role author
dc.contributor.advisor1.fl_str_mv Regina Helena Carlucci Santana
dc.contributor.referee1.fl_str_mv Fernao Stella de Rodrigues Germano
dc.contributor.referee2.fl_str_mv Jan Frans Willem Slaets
dc.contributor.author.fl_str_mv Jose Roberto Vasconcelos
contributor_str_mv Regina Helena Carlucci Santana
Fernao Stella de Rodrigues Germano
Jan Frans Willem Slaets
description Este trabalho apresenta o GASC (Gerador de Aplicação para Sistemas Concorrentes) constituído de uma linguagem de especificação, um analisador estruturural e semântico, e um gerador de código. A linguagem do GASC é baseada em características de outras linguagens de programação e de especificação formal. O objetivo do GASC é oferecer uma ferramenta de fácil utilização para especificação de sistemas concorrentes, juntamente com a validação da especificação e a geração automática de código na linguagem de programação OCCAM. Os conceitos envolvidos com processamento paralelo, especificações formais e geradores de aplicações são apresentados e discutidos com o objetivo de se formar uma base para o desenvolvimento do trabalho. Exemplos de todas as fases, desde a representação do problema até a geração do código, são apresentados.
publishDate 1996
dc.date.issued.fl_str_mv 1996-08-06
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 https://doi.org/10.11606/D.55.2018.tde-15012018-145834
url https://doi.org/10.11606/D.55.2018.tde-15012018-145834
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade de São Paulo
dc.publisher.program.fl_str_mv Ciências da Computação e Matemática Computacional
dc.publisher.initials.fl_str_mv USP
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade de São Paulo
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1786376839117144064

Registros relacionados