1
Assuntos:
“...Formal specification...”
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
2
Assuntos:
“...RSL formal specification...”
Especificação formal de organizações de sistemas multiagentes
Tese
3
Assuntos:
“...Formal Specification...”
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Tese
4
5
Assuntos:
“...Formal specification...”
Abstraction of infinite and communicating CSPZ processes
Tese
6
Assuntos:
“...Formal specification...”
Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Dissertação
7
Assuntos:
“...Formal Specification...”
Interoperabilidade lógica via mapeamentos entre instituições
Dissertação
8
Assuntos:
“...Formal specification...”
Especificação formal de uma ferramenta de reutilização de especificações de requisitos
Dissertação
9
Assuntos:
“...Formal Specification...”
Geração de casos de teste a partir de especificações B
Dissertação
10
11
Assuntos:
“...Formal specification...”
Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
Dissertação
12
Assuntos:
“...formal specification...”
Geração parcial de código Java a partir de especificações formais Z.
Dissertação
13
Assuntos:
“...[en] FORMAL SPECIFICATION...”
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Tese
14
Assuntos:
“...formal specification...”
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Dissertação
15
16
Assuntos:
“...Formal specification...”
A formalization of a startup finance transaction model using Alloy
Dissertação