1
Assuntos:
“...Especificação de casos de uso...”
Extração automática de modelos CSP a partir de casos de uso
Dissertação
2
Assuntos:
“...Especificação De Sistemas E Programas...”
Politicas hipercone para sistemas de manufatura flexiveis
Dissertação
3
Assuntos:
“...Especificação De Sistemas E Programas...”
Contribuição à análise de sistemas com servidores lentos
Dissertação
4
Assuntos:
“...Especificação...”
Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").
Dissertação
5
Assuntos:
“...Linguagem de especificação...”
A framework for the specification and validation of Real Time Systems using Circus Action
Dissertação
6
Assuntos:
“...Especificacao formal...”
Larch : uma alternativa para especificação formal
Dissertação
7
Assuntos:
“...Técnicas de especificação...”
BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML
Dissertação
8
Assuntos:
“...Especificacao : Sistemas...”
E-dart : um ambiente de especificação e-lotos
Dissertação
9
10
Assuntos:
“...Especificacao formal...”
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
Dissertação
11
Assuntos:
“...Especificacao formal...”
Extensão de um modelo OO formal com aspectos temporais
Dissertação
12
Assuntos:
“...Especificação de requisitos...”
Auto test generator: a framework to generate test cases from requirements in natural language
Dissertação
13
Assuntos:
“...Especificação de requisito...”
Uma ontologia como suporte para especificação de requisitos não funcionais de sistemas AAL (Ambient Assisted Living) considerando aspectos de compliance
Tese
14
Assuntos:
“...Especificação de Capital Humano...”
Análise da pobreza educacional no Brasil : abordagem do valor de Shapley para a decomposição por subgrupos de gênero, raça e faixas etárias
Tese
15
Assuntos:
“...Especificação Formal...”
Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
Dissertação
16
Assuntos:
“...Propriedade de Especificação...”
Hiperbolicidadade e Propriedade de Especificação
Dissertação
17
Assuntos:
“...Especificação de sistemas...”
Um processo para extração de requisitos baseado nos conceitos e casos de uso e de entidade e relacionamento.
Dissertação
18
Assuntos:
“...Especificação de requisitos...”
A technique to test apis specified in natural language.
Tese
19
Assuntos:
“...Especificação formal...”
Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Dissertação
20
Assuntos:
“...Especificação formal...”
Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos.
Tese