21
Assuntos:
“...Especificação e verificação algébrica...”
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Dissertação
22
Assuntos:
“...especificação do comportamento excepcional...”
Uma Abordagem Leve para Testar o Comportamento Excepcional
Dissertação
23
Assuntos:
“...Especificação de requisitos...”
A technique to test apis specified in natural language.
Tese
24
Assuntos:
“...Especificação formal...”
Guides for CCS to UML-RT and UML-RT to CCS conversions.
Dissertação
25
Assuntos:
“...Especificação formal...”
MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Dissertação
26
Assuntos:
“...Especificação formal...”
AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Dissertação
27
Assuntos:
“...Especificação formal...”
Aplicação de teorias do erro humano no processo da engenharia de requisitos.
Dissertação
28
Assuntos:
“...Especificação formal...”
Processo de análise de stakeholders utilizando mapas cognitivos
Dissertação
29
Assuntos:
“...Especificação formal...”
Um método para modelagem de sistemas aplicado a um air data system
Dissertação
30
Assuntos:
“...Erros de especificação...”
Fator estocástico de desconto: as cotas de variância, métricas de distância e suas extensões
Dissertação
31
Assuntos:
“...DSGE, Monte Carlo, Má especificação...”
Estimation of DSGE Models: A Monte Carlo Analysis
Dissertação
32
Assuntos:
“...Especificação...”
Uma proposta de método para especificação de componentes de software
Dissertação
33
Assuntos:
“...Especificação de Requisitos...”
ReComP: um Framework para apoiar a melhoria da comunicação de requisitos baseado em perspectivas
Tese
34
Assuntos:
“...Especificação de Sistemas...”
VERIFICAÇÃO FORMAL DA FUNÇÃO DE CONTROLE DE ACESSO AO MEIO DO PROTOCOLO IEEE 802.11 E INVESTIGAÇÃO DA SUA APLICABILIDADE EM SISTEMAS DE TEMPO-REAL
Dissertação
35
Assuntos:
“...Especificacao formal...”
Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Dissertação
36
Assuntos:
“...Especificacao algebrica...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
37
Assuntos:
“...Especificacao formal...”
Especificação formal de uma ferramenta de reutilização de especificações de requisitos
Dissertação
38
Assuntos:
“...Especificação neuronal...”
Influência da atividade elétrica sobre especificação de progenitores neurais da zona subventricular do camundongo adulto
Dissertação
39
Assuntos:
“...Testes de Especificação Econométrica...”
Estudo da criminalidade violenta na cidade do Recife: o espaço realmente é relevante?
Dissertação
40
Assuntos:
“...Especificação neuronal...”
Eliminação de neurônios infragranulares afeta a especificação de neurônios granulares e supragranulares do córtex cerebral em desenvolvimento
Tese