Ferramenta de apoio e utilizacao de statecharts para especificacao do comportamento de sistemas de tempo-real complexos (1991)
- Authors:
- Autor USP: FORTES, RENATA PONTIN DE MATTOS - ICMC
- Unidade: ICMC
- Sigla do Departamento: SCE
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Português
- Abstract: Uma das caracteristicas dos sistemas de tempo-real e a sua reacao imediata a estimulos (eventos) ocorridos no mundo real. Os metodos para especificacao e projeto de strs sugerem o uso de tecnicas para especificacao desse comportamento reativo dos strs. Nesta dissertacao faz-se uma revisao bibliografica de varios metodos para especificacao de strs, verificando-se quais sao as tecnicas usadas para especificacao do aspecto comportamental. Uma dessas tecnicas, state-charts, foi escolhida para apoio por computador. O trabalho descreve uma ferramenta desenvolvida para esse fim. Sao discutidos tambem os requisitos que levaram a construcao da ferramenta e mostrada sua arquitetura. Exemplifica-se o uso da ferramenta em um caso abrangente, enfatizando-se as caracteristicas principais dos state-charts
- Imprenta:
- Publisher place: São Carlos
- Date published: 1991
- Data da defesa: 18.04.1991
-
ABNT
FORTES, Renata Pontin de Mattos. Ferramenta de apoio e utilizacao de statecharts para especificacao do comportamento de sistemas de tempo-real complexos. 1991. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1991. . Acesso em: 05 nov. 2024. -
APA
Fortes, R. P. de M. (1991). Ferramenta de apoio e utilizacao de statecharts para especificacao do comportamento de sistemas de tempo-real complexos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. -
NLM
Fortes RP de M. Ferramenta de apoio e utilizacao de statecharts para especificacao do comportamento de sistemas de tempo-real complexos. 1991 ;[citado 2024 nov. 05 ] -
Vancouver
Fortes RP de M. Ferramenta de apoio e utilizacao de statecharts para especificacao do comportamento de sistemas de tempo-real complexos. 1991 ;[citado 2024 nov. 05 ] - Supporting multiple persistence models for PaaS applications using MDE: issues on cloud portability
- Using model-driven development to support portable PaaS applications
- What is hidden in a heuristic evaluation: tactics from the experts
- Keyboard navigation mechanisms in widgets: an investigation on ARIA's implementations
- An analysis of application usage for notes and reminders by older persons‐ElderNote case study
- Drop-down menu widget identification using HTML structure changes classification
- AWMo: accessible web modeler
- Tests with blind programmers using AWMo: an accessible web modeling tool
- Estudo de caso sobre a interação de idosos com menus web em dispositivos móveis
- Um simulador visual de leitor de telas para auxílio à interpretação de questões de acessibilidade por avaliadores videntes
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
