• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Disertación de Maestría
DOI
10.11606/D.55.2018.tde-15012018-145834
Documento
Autor
Nombre completo
Jose Roberto Vasconcelos
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Carlos, 1996
Director
Tribunal
Santana, Regina Helena Carlucci (Presidente)
Germano, Fernao Stella de Rodrigues
Slaets, Jan Frans Willem
Título en portugués
UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
Palabras clave en portugués
Não disponível
Resumen en portugués
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.
Título en inglés
Not available
Palabras clave en inglés
Not available
Resumen en inglés
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.
 
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Fecha de Publicación
2018-01-15
 
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2020. Todos los derechos reservados.