Navegação Teses e Dissertações defendidas na UFRGS por Assunto "Transaction specification"
Resultados 1-1 de 1
-
Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri
(1997) [Dissertação]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 ...