Provisão de mecanismos automatizados para o teste de mutação de programas Java e A...
Uso de técnicas de teste e de busca no desenvolvimento de software contemporâneo
Coexistência de aplicações em redes de sensores sem fio definidas por software
Proposta de uma abordagem inteligente para apoiar a especificação de requisitos d...
Modelagem e Validação de Arquitetura e Requisitos de Sistemas-de-Sistemas
Linha de produto dinâmica para gestão de processos de negócio baseados em serviços