Listar Tesis de Doctorado y Maestría presentadas en UFRGS por tema "Transaction specification"
Mostrando ítems 1-1 de 1
-
Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri
(1997) [Tesis de maestría]Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do ...