HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Um novo modelo para a especificação de hiperdocumentos denominado HMBS - Hyperdocument Model Based on Statecharts - é proposto. O HMBS adota como modelo formal subjacente a técnica Statecharts, cuja estrutura e semântica operacional são utilizadas para especificar a estrutura organizacional e a...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
1998
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/76/76132/tde-25032014-174215/ |