Publication
Concepção e especificação de uma linguagem visual
| dc.contributor.author | Pereira, Maria João | |
| dc.date.accessioned | 2008-03-18T09:59:27Z | |
| dc.date.available | 2008-03-18T09:59:27Z | |
| dc.date.issued | 1996 | |
| dc.date.submitted | 1996 | en |
| dc.description.abstract | O desenvolvimento de um compilador para a linguagem TSC (Timed StateCharts)- linguagem textual que descreve máquinas de estados temporizadas com transições condicionais - constitui o objectivo inicial deste estudo. Em primeiro lugar, foram revistos alguns conceitos básicos relacionados com compiladores, gramáticas de atributos e geração de compiladores. Foi necessário compreender a utilização das máquinas de estados na descrição do comportamento de sistemas reactivos, os diagramas TSC e a sua representação na linguagem TSC. No seguimento do estudo foram definidos os requisitos do compilador já referido, o qual tem como tarefa implementar um conjunto de regras de tradução de diagramas TSC em axiomas lógicos RTL - (Real Time Logic). No desenvolvimento desse compilador foi utilizado o sistema ELI. No entanto o objectivo principal deste estudo consiste em criar meios para que seja possível a tradução directa dos diagramas TSC nos axiomas RTL. Para tal, foi criada uma linguagem visual para a escrita de TSC's. Posteriormente esta nova linguagem foi especificada usando o formalismo MASOVILA. | en |
| dc.description.sponsorship | JNICT | en |
| dc.identifier.citation | Pereira, Maria João (1996). Concepção e especificação de uma linguagem visual. Minho: Universidade de Aveiro. Dissertação de Mestrado em Informática. | |
| dc.identifier.uri | http://hdl.handle.net/10198/573 | |
| dc.language.iso | por | en |
| dc.subject | Linguagens visuais | en |
| dc.subject | Compiladores | en |
| dc.title | Concepção e especificação de uma linguagem visual | en |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| person.familyName | Pereira | |
| person.givenName | Maria João | |
| person.identifier.ciencia-id | C912-4A49-A3B3 | |
| person.identifier.orcid | 0000-0001-6323-0071 | |
| person.identifier.rid | G-5999-2011 | |
| person.identifier.scopus-author-id | 13907870300 | |
| rcaap.rights | openAccess | en |
| rcaap.type | masterThesis | |
| relation.isAuthorOfPublication | a20ccfa6-4e84-4c25-ab0d-8d6ba196ffc2 | |
| relation.isAuthorOfPublication.latestForDiscovery | a20ccfa6-4e84-4c25-ab0d-8d6ba196ffc2 |