Detalhes bibliográficos
| Ano de defesa: |
1991 |
| Autor(a) principal: |
Fortes, Renata Pontin de Mattos |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28112018-141737/
|
Resumo: |
Uma das características dos Sistemas de Tempo-Real é a sua reação imediata a estímulos (eventos) ocorridos no mundo real. Os métodos para especificação e projeto de STRs sugerem o uso de técnicas para especificação desse comportamento reativo dos STRs. Nesta dissertação faz-se uma revisão bibliográfica de vários métodos para especificação de STRs, verificando-se quais são as técnicas usadas para especificação do aspecto comportamental. Uma dessas técnicas, STATECHARTS, foi escolhida para apoio por Computador. O trabalho descreve uma ferramenta desenvolvida para esse fim. São discutidos também os requisitos que levaram à construção da ferramenta e mostrada sua arquitetura. Exemplifica-se o uso da ferramenta em um caso abrangente, enfatizando-se as características principais dos Statecharts. |
