1
Assuntos:
“...Engenharia de Software...”
Suporte à análise e verificação de modelos RPOO.
Dissertação
2
Assuntos:
“...Engenharia de Software...”
Formalização e análise de padrões de projeto para agentes móveis.
Dissertação
3
Assuntos:
“...Software SAVAD...”
Estudo de equivalência de modelos markovianos construídos com os paradigmas redes de filas e redes de petri.
Dissertação
4
Assuntos:
“...Modelagem de Sistema de Software...”
Um ambiente para edição e animação de sistemas de G-Nets.
Dissertação
5
Assuntos:
“...Engenharia de Software...”
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.
Dissertação