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/ |