1
Assuntos:
“...State Machine...”
Uma abordagem para classificação e sugestão de atualizações em máquinas de estado a partir de mudanças no código-fonte.
Dissertação
2
Assuntos:
“...Automatic State Generation...”
ALLOS: uma ferramenta para solucionar modelos de redes de filas usando cadeias de Markov.
Dissertação
3
Assuntos:
“...State Machine...”
Uma abordagem para classificar bugs sob a perspectiva de máquina de estados.
Dissertação
4
Assuntos:
“...Extended State Transition Language (Estelle)...”
Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
Dissertação
5
Assuntos:
“...GeoSTAT - Geographic SpatioTemporal Analysis Tool...”
Uma abordagem para visualização e análise baseada em clustering de dados espaço-temporais.
Dissertação
6
Assuntos:
“...JMobile - Automatic Simulation and Space Generation of States...”
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.
Dissertação