101
Assuntos:
“...Software Embarcado...”
Um método para o desenvolvimento e certificação de software de sistemas embarcados baseado em redes de petri coloridas e casos de garantia.
Tese
102
Assuntos:
“...Software...”
Uma abordagem de apoio à decisão para formação de múltiplas equipes em projetos ágeis de software.
Tese
103
Assuntos:
“...Software Engineering...”
Investigation of test case prioritization for model-based testing.
Tese
104
105
Assuntos:
“...engenharia de software experimental...”
Modelagem e Avaliação da Influência de Contexto na Utilidade de Cupons de Desconto
Dissertação
106
Assuntos:
“...Linhas de Produto de Software...”
Non-Functional Properties In Software Product Lines: A Reuse Approach
Dissertação
107
Assuntos:
“...Redes Definidas por Software...”
BAMSDN: um arcabouço SDN/openflow para a alocação dinâmica de recursos baseado em modelo de alocação de banda
Dissertação
108
Assuntos:
“...Teste de Sistema de Software...”
Uma abordagem para o desenvolvimento de testes de sistema automáticos de aplicações distribuídas.
Dissertação
109
Assuntos:
“...Modelagem de Sistema de Software...”
Um ambiente para edição e animação de sistemas de G-Nets.
Dissertação
110
Assuntos:
“...Engenharia de Software...”
Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.
Dissertação
111
112
113
Assuntos:
“...Agentes inteligentes (Software) – Teses...”
Arquitetura híbrida multiagente AMAM aplicada ao problema p-Hub Centro
Dissertação
114
Assuntos:
“...Agentes inteligentes (Software) - Teses...”
AMAM: framework multiagente para otimização usando metaheurísticas
Tese
115
Assuntos:
“...Software Product Line...”
Uma linha de produto de software baseada na web semântica para sistemas tutores inteligentes.
Tese
116
Assuntos:
“...Software Frameworks...”
Uma abordagem metodológica para a avaliação multidimensional da acessibilidade de interfaces com o usuário para aplicações web.
Dissertação
117
Assuntos:
“...Engenharia de Software...”
Estatística GAP temporal: um novo índice interno de validação de agrupamento de dados temporais
Dissertação
118
Assuntos:
“...Software Básico...”
Shared resources in multiprocessor real-time systems scheduled by run
Dissertação
119
Assuntos:
“...Software as a Service (SaaS)...”
SaaSim - um framework para simulação de Software as a Service.
Dissertação
120
Assuntos:
“...Acompanhamento de exercícios físicos - software...”
Uso de modelos formais em sistemas pervasivos de cuidados de saúde: um estudo de caso em auxílio à prática de exercícios físicos.
Tese