1
2
Assuntos:
“...Formal methods...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
3
Assuntos:
“...Formal Methods...”
GIRL: uma linguagem de modelagem e verificação de requisitos invariantes.
Dissertação
4
5
6
Assuntos:
“...Formal Methods...”
Systematic model-based safety assessment via probabilistic model checking
Dissertação
7
Assuntos:
“...Formal methods...”
Especificação e verificação CSP de um sistema de intertravamento ferroviário baseado em relé
Dissertação
8
Assuntos:
“...Formal methods (Computer science)...”
Verificação formal de workflows com spin
Dissertação
9
Assuntos:
“...Formal methods (Computer science)...”
Criação de uma biblioteca padrão para a linguagem HasCASL
Dissertação
10
Assuntos:
“...formal methods...”
Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas
Dissertação
11
12
Assuntos:
“...Formal methods...”
Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
Dissertação
13
14
Assuntos:
“...Formal Methods...”
Especificação formal da atividade de negociação em serviços semânticos.
Dissertação
15
Assuntos:
“...Formal Methods...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
16
Assuntos:
“...Formal methods...”
Proposta de táticas para prova de teoremas de gramática de grafos.
Dissertação
17
Assuntos:
“...Formal methods...”
Verificação de modelos uml de software embarcado com model checking
Dissertação
18
Assuntos:
“...Formal methods...”
Deciding difference logic in a Nelson-Oppen combination framework
Dissertação
19
Assuntos:
“...Formal methods...”
Estendendo CRefine para o suporte de táticas de refinamento
Dissertação
20
Assuntos:
“...Formal methods (Computer science)...”
Teste de conformidade em contexto guiado por casos de teste do componente
Dissertação