1
Assuntos:
“...Verificação de Modelos...”
Verificação de modelos em redes de petri orientadas a objetos.
Dissertação
2
Assuntos:
“...Arquitetura Orientada a Serviços...”
Verificação de requisitos funcionais e não funcionais em Arquiteturas Orientadas a Serviços
Tese
3
4
Assuntos:
“...Verificação de Refinamentos...”
Geração automática de casos de teste CSP orientada por propósitos
Dissertação
5
Assuntos:
“...UML,Verificação de inconsistências...”
Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.
Tese
6
“... uma especificação de software embarcado em uma notação semi-formal, orientada a objetos e amplamente aceita...”
Verificação de modelos uml de software embarcado com model checking
Dissertação
7
“... de ferramentas de suporte para a validação e verificação de modelos. Abordamos o problema efetuando uma revisão...”
Suporte à análise e verificação de modelos RPOO.
Dissertação
8
9
Assuntos:
“...Verificação (Logica)...”
St-Modeler : um ambiente de desenvolvimento e verificação de guias de conduta clinica
Dissertação
10
“...Orientador: Ana Regina Mizrahy Cuperschmid...”
Desafios tecnológicos da verificação automática de modelos BIM
Dissertação
11
12
“... de Modelagem, e disciplinas mais formais como Verificação de Modelos, Lógicas Modais e Álgebras de Processos...”
[pt] ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS
Tese
13
Assuntos:
“...Verificação de conformidade em programas...”
Verificação de conformidade entre diagramas de sequência UML e código Java.
Dissertação
14
15
Assuntos:
“...Verificação de Modelos...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
16
“...Orientador: Mauricio Ferreira Magalhães...”
Modelo de verificação de processos de negocios atraves de uma maquina virtual Pi-Calculos
Dissertação
17
“...Orientador: Kamal A.R. Ismail...”
Desenvolvimento teorico e verificação experimental de modelos para a solidificação em geometria esferica
Tese
18
Assuntos:
“...Metais - Processos de solidificação rapida - Modelos matemáticos...”
Desenvolvimento e verificação experimental de um modelo matematico para analise da solidificação unidirecional de metais
Tese
19
“...Orientadores: Sandro Rigo, Guido Costa Souza de Araújo...”
Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração
Tese
20
“... especificações, modeladas por Input/Output Labeled Transition Systems (IOLTSs) A verificação de conformidade...”
Everest : uma ferramenta para verificação de conformidade e geração de testes para modelos reativos
Dissertação