El grupo DEC-tau investiga métodos formales aplicados a la integración de lenguajes declarativos multiparadigma (esto es, lenguajes con características lógicas, funcionales, y lógico difusas) y a la transformación automática de programas declarativos.