1
Assuntos:
“...Especificacao formal...”
Larch : uma alternativa para especificação formal
Dissertação
2
Assuntos:
“...Especificacao formal...”
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
Dissertação
3
Assuntos:
“...Especificacao formal...”
Extensão de um modelo OO formal com aspectos temporais
Dissertação
4
Assuntos:
“...Especificação Formal...”
Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
Dissertação
5
Assuntos:
“...Especificação formal...”
Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Dissertação
6
Assuntos:
“...Especificação formal...”
Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos.
Tese
7
Assuntos:
“...Especificacao formal : Protocolos...”
Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
Dissertação
8
Assuntos:
“...Geração de especificação formal...”
Extração automática de modelos CSP a partir de casos de uso
Dissertação
9
Assuntos:
“...Especificação formal...”
Guides for CCS to UML-RT and UML-RT to CCS conversions.
Dissertação
10
Assuntos:
“...Especificação formal...”
MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Dissertação
11
Assuntos:
“...Especificação formal...”
AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Dissertação
12
Assuntos:
“...Especificação formal...”
Aplicação de teorias do erro humano no processo da engenharia de requisitos.
Dissertação
13
Assuntos:
“...Especificação formal...”
Processo de análise de stakeholders utilizando mapas cognitivos
Dissertação
14
Assuntos:
“...Especificação formal...”
Um método para modelagem de sistemas aplicado a um air data system
Dissertação
15
Assuntos:
“...Especificação formal...”
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Tese
16
17
Assuntos:
“...Especificacao formal...”
Especificação formal de uma ferramenta de reutilização de especificações de requisitos
Dissertação
18
Assuntos:
“...Especificacao formal...”
Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Dissertação
19
Assuntos:
“...Especificação formal...”
Gerando modelos SCADE a partir de especificações descritas em SCR
Dissertação
20
Assuntos:
“...Especificação formal...”
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Dissertação