Uma metodologia para apoiar o reuso na especificação de modelos de performabilidade
Tradução de consultas usando morfologia melhorada e técnicas semânticas em um sist...
Especificação formal de requisitos de sistemas críticos baseada na linguagem spect...
Confiabilidade teste reteste do Prosthetic Limb Users Survey of Mobility (PLUS-M")...
Prognóstico médico avançado baseado em conceitos de grafos e redes neurais artific...
Projeto e implementação de templates para geração automática de código na ferramen...