1
2
Assuntos:
“...[pt] ESPECIFICACAO...”
[pt] ESPECIFICAÇÃO FUNCIONAL E IMPLEMENTAÇÃO DE UM EDITOR DE VOZ
Tese
3
4
Assuntos:
“...[pt] ESPECIFICACAO DE ENLACE...”
[pt] ANÁLISE SISTEMÁTICA DA METODOLOGIA DE PREVISÃO DO DGD EM SISTEMAS ÓPTICOS DE ALTA CAPACIDADE
Tese
5
Assuntos:
“...[pt] ESPECIFICACAO FORMAL...”
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Tese
6
Assuntos:
“...[pt] ESPECIFICACAO AUTOMATICA...”
[pt] SARIMAX.JL: MODELAGEM DE SÉRIES TEMPORAIS OPEN-SOURCE EM JULIA USANDO OTIMIZAÇÃO AVANÇADA
Tese
7
Assuntos:
“...Especificação de casos de uso...”
Extração automática de modelos CSP a partir de casos de uso
Dissertação
8
Assuntos:
“...Especificação De Sistemas E Programas...”
Politicas hipercone para sistemas de manufatura flexiveis
Dissertação
9
Assuntos:
“...Especificação De Sistemas E Programas...”
Contribuição à análise de sistemas com servidores lentos
Dissertação
10
Assuntos:
“...Especificação...”
Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").
Dissertação
11
12
Assuntos:
“...Linguagem de especificação...”
A framework for the specification and validation of Real Time Systems using Circus Action
Dissertação
13
Assuntos:
“...Especificacao formal...”
Larch : uma alternativa para especificação formal
Dissertação
14
Assuntos:
“...Técnicas de especificação...”
BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML
Dissertação
15
Assuntos:
“...Especificacao : Sistemas...”
E-dart : um ambiente de especificação e-lotos
Dissertação
16
Assuntos:
“...[pt] ESPECIFICACAO DE REQUISITOS...”
[pt] UNIFICANDO CONTROLE DE QUALIDADE DE ESPECIFICAÇÃO ÁGIL DE REQUISITOS E GARANTIA DE CONFORMIDADE DE IMPLEMENTAÇÃO
Tese
17
Assuntos:
“...[pt] ESPECIFICACAO POR USUARIO FINAL...”
[en] A MODEL TO DESCRIBE AND NEGOTIATE CHANGES IN WEB SYSTEMS
Tese
18
Assuntos:
“...Especificacao formal...”
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
Dissertação
19
Assuntos:
“...Especificacao formal...”
Extensão de um modelo OO formal com aspectos temporais
Dissertação
20
Assuntos:
“...Especificação de requisitos...”
Auto test generator: a framework to generate test cases from requirements in natural language
Dissertação