Buscas alternativas:
especificador » especificado (Expandir a busca), especificados (Expandir a busca), especificar (Expandir a busca)
pacifica » pacific (Expandir a busca)
especificacao » especifica (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
10
“...A identificação de sistemas em malha fechada assume papel importante no contexto atual...”
Viabilidade de aplicação de malhas virtuais na identificação de sistemas em malha fechada
Dissertação
12
“... 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
13
14
“... 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
15
16
“... de circunferência com aceleração especificadas, monitorado apenas pelos deslocamentos angulares dos motores...”
Desenvolvimento de Um Veículo Microcontrolado por Malha Fechada
Dissertação
17
“... 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
18
“... 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