Buscas alternativas:
medalhas » malhas (Expandir a busca)
especificador » especificado (Expandir a busca), especificados (Expandir a busca), especificar (Expandir a busca)
pacifica » pacific (Expandir a busca)
especificacao » especifica (Expandir a busca)
medalhas » malhas (Expandir a busca)
especificador » especificado (Expandir a busca), especificados (Expandir a busca), especificar (Expandir a busca)
pacifica » pacific (Expandir a busca)
especificacao » especifica (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
Assuntos:
“...Alianza del pacífico...”
Mineração, investimento e conflitos socioambientais nos países da aliança do pacífico : a propósito...
Tese
5
“..., 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
6
“...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
7
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
Assuntos:
“...falha contratual...”
Causas que conduzem à judicialização de obras de infraestrutura: o estudo do caso da Infraero
Dissertação
9
Assuntos:
“...Detecção de Falhas...”
Uma aplicação baseada em sistemas imunológicos artificiais para detecção de falhas em uma plataforma de abastecimento
Dissertação
11
“... 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
12
“... 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
13
“... 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
14
“... 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
15
16
17
Assuntos:
“...Especificação de caso de uso...”
Geração de especificação formal de sistemas a partir de documento de requisitos
Dissertação
18
19
“... 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
20
Assuntos:
“...Detecção de falhas em sistemas...”
Isolamento automático de falhas em sistemas.
Dissertação