Mostrando 81 - 100 resultados de 141 para a busca '', tempo de busca: 0,03s
Exportar CSV

81

Uma estratégia de análise de segurança de software para aplicações críticas

Publicado em 1996
Acessar documento
Dissertação

82

Tradução automática de modelos informais para especificações formais de sistemas de software

Publicado em 1996
Acessar documento
Dissertação

83

Uma abordagem de qualidade e confiabilidade para software crítico

Publicado em 1995
Acessar documento
Dissertação

84

Solução para a computação embarcada do míssil superficie-ar VTT-1

Publicado em 1993
Acessar documento
Dissertação

85

Um questionador inteligente para aplicações educacionais

Publicado em 1993
Acessar documento
Dissertação

86

Sailfish-SRA : uma arquitetura de referência de software para suporte ao compartilhamento de informações na tomada de decisões colaborativas em aeroportos

Publicado em 2011
Acessar documento
Tese

87

Benchmarking software requirements documentation for space applications

Publicado em 2011
Acessar documento
Tese

88

Processo de pré-autoria de atividades de aprendizagem com uso de jogos e cooperação

Publicado em 2011
Acessar documento
Tese

89

Modelo computacional para valoração e avaliação de redações baseado em lógica Fuzzy

Publicado em 2011
Acessar documento
Tese

90

WEBLAB : um ambiente de laboratórios de acesso remoto educacional

Publicado em 2011
Acessar documento
Tese

91

Uma abordagem de teste de integração para aplicações orientadas a objetos baseada na reutilização de teste de unidade

Publicado em 2011
Acessar documento
Dissertação

92

Modelagem e verificação formal do software embarcado de um simulador de satélite

Publicado em 2011
Acessar documento
Dissertação

93

DECOLA : um modelo de decisões colaborativas para sequenciamentos de pousos e decolagens utilizando sistemas multiagentes

Publicado em 2011
Acessar documento
Tese

94

Modelo de capacidades e maturidade para defesa cibernética

Publicado em 2011
Acessar documento
Dissertação

95

EARLY-FIX : um framework para predição de manutenção corretiva de software utilizando métricas de produto

Publicado em 2011
Acessar documento
Dissertação

96

Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal

Publicado em 2011
Acessar documento
Dissertação

97

Um modelo de controle formal para o gerenciamento de riscos de projeto de software

Publicado em 2012
Acessar documento
Dissertação

98

Modelo de sistema de apoio à decisão por ontologia e rede de Petri colorida

Publicado em 2012
Acessar documento
Dissertação

99

Método para elicitação de requisitos de sistemas de informação baseado na soft systems methodolog

Publicado em 2012
Acessar documento
Dissertação

100

Um método orientado a processo para elicitação de requisitos em sistemas computadorizados

Publicado em 2012
Acessar documento
Dissertação