Buscas alternativas:
especificador » especificado (Expandir a busca), especificados (Expandir a busca), especificar (Expandir a busca)
pacifica » pacifico (Expandir a busca), pacificoa (Expandir a busca)
pacificar » pacificor (Expandir a busca), pacificoar (Expandir a busca), pacificas (Expandir a busca), precificar (Expandir a busca), pacifico (Expandir a busca)
pacific » pacifico (Expandir a busca)
especificacao » especifica (Expandir a busca)
especificador » especificado (Expandir a busca), especificados (Expandir a busca), especificar (Expandir a busca)
pacifica » pacifico (Expandir a busca), pacificoa (Expandir a busca)
pacificar » pacificor (Expandir a busca), pacificoar (Expandir a busca), pacificas (Expandir a busca), precificar (Expandir a busca), pacifico (Expandir a busca)
pacific » pacifico (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
“..., 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
7
“...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
9
“... 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
10
11
“... 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
12
13
“... 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
14
“... 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
15
“... 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
16
17
18
Assuntos:
“...Especificação de caso de uso...”
Geração de especificação formal de sistemas a partir de documento de requisitos
Dissertação
19
20
“... em um desempenho de malha fechada que tem pouca semelhança com o especificado e a malha fechada pode...”
Especificação do modelo de referência em projeto de controladores multivariáveis discretos
Dissertação