O grupo desenvolveu amplo know-how no uso de técnicas de transformação de programas, como por exemplo geração de programas a partir de especificações de alto nível e sua aplicação ao problema de código legado. O problema de código legado é crítico na manutenção de sistemas pois trata da adaptação destes sistemas a novos modelos e novas tecnologias. Em se tratando de modelagem e validação de sistemas, o grupo vem desenvolvendo considerável expertise no aspecto de interoperabilidade formal em arquiteturas de software.
