1
Assuntos:
“...Statecharts...”
Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.
Tese
2
Assuntos:
“...Statecharts...”
Bridging software engineering gaps towards system of systems development
Tese
3
Assuntos:
“...Statecharts...”
Regras de Mapeamento e Heurísticas: uma estratégia para criar casos de teste a partir de C&L
Dissertação
4
Assuntos:
“...statecharts...”
PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
Dissertação
5
Assuntos:
“...Statecharts...”
GO2S: a systematic process to derive the behavior of contextsensitive systems from requirements models
Dissertação
6
Assuntos:
“...Statecharts...”
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Tese