Buscas alternativas:
especificacao » especifica (Expandir a busca)
pacificador » pacificadora (Expandir a busca), pacificado (Expandir a busca), pacificar (Expandir a busca)
pacificacao » precificacao (Expandir a busca)
especificadora » especificadoras (Expandir a busca), especificador (Expandir a busca), especificadores (Expandir a busca)
codificadora » codificador (Expandir a busca), codificadores (Expandir a busca), codificados (Expandir a busca)
especificacao » especifica (Expandir a busca)
pacificador » pacificadora (Expandir a busca), pacificado (Expandir a busca), pacificar (Expandir a busca)
pacificacao » precificacao (Expandir a busca)
especificadora » especificadoras (Expandir a busca), especificador (Expandir a busca), especificadores (Expandir a busca)
codificadora » codificador (Expandir a busca), codificadores (Expandir a busca), codificados (Expandir a busca)
1
Assuntos:
“...Tolerância a falhas...”
Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
Dissertação
2
3
4
“..., e invariantes. Como exemplo de linguagem de especificação por contrato tem-se Java Modeling Language (JML...”
Uma técnica para verificar não conformidades em programas especificados com contratos.
Dissertação
5
“...Neste trabalho, especificamos um framework baseado em componentes de software reutilizáveis...”
Especificação de um framework baseado em componentes de software reutilizáveis para aplicações de gerência de falhas em redes de computadores.
Dissertação
6
Assuntos:
“...especificação de requisitos de software...”
Arquitetura integrada de normas e frameworks de desenvolvimento de software seguro aplicada para apoiar a identificação de falhas na especificação de requisitos
Tese
8
“... de encontrar defeitos ou falhas com rapidez e precisão, são fatores importantes a serem considerados...”
Ontologia para especificação de requisitos em sistemas embarcados
Tese
9
“... distribuídos, mas poucos trabalhos se preocuparam em especificar formalmente os protocolos usados...”
A especificação formal e o teste de um protocolo de comunicação de grupo
Dissertação
10
“... foi desenvolver uma metodologia de especificação e projeto que reduza o tempo e energia para desenvolver...”
Metodologia de especificação e projeto aplicado a usinas nucleares móveis
Tese
11
“... uma série de interesses não-funcionais (por exemplo, monitoramento, tratamento de falhas, alta...”
Uma linguagem de especificação de aspectos para o desenvolvimento orientado a serviços
Dissertação
12
13
14
Assuntos:
“...Especificação de caso de uso...”
Geração de especificação formal de sistemas a partir de documento de requisitos
Dissertação
15
16
“... ao conteúdo de um site. Uma falha no processo de especificação da navegação causa uma perda de contexto...”
Ferramenta visual para especificação de hiperdocumentos, segundo o método OOHDM
Dissertação
17
Assuntos:
“...Detecção de falhas em sistemas...”
Isolamento automático de falhas em sistemas.
Dissertação
18
19
20
Assuntos:
“...Tolerancia : Falhas...”
ComFIRM - Injeção de falhas de comunicação através da alteração de recursos do sistema operacional
Dissertação