Um método de transformação de modelos UML para a inclusão de componentes de frameworks com o uso de planejador lógico.
Marchetti, Guilherme Aren
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2012-06-26
Acesso online. A biblioteca também possui exemplares impressos.