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: 28 mar. 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 mar. 28 ] -
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 mar. 28 ] - Apoio à documentação de engenharia reversa de software por meio de hipertextos
- Uma proposta de interface para sistema hipermídia de suporte à engenharia de software
- Qualidade em hipermídia educacional: um auxílio para avaliação através de métricas
- Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
- Suporte automático à avaliação de consistência estrutural em www
- Sistema hipermídia de suporte à documentação de software
- Apoio à documentação de engenharia reversa de software por meio de hipertextos
- Recursos graficos sao ponto forte do ami
- Suporte automático para classificação de links e páginas da web
- Um auxílio à avaliação estrutural de hipermídia educacional na web
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas