Um tutor inteligente para o ensino/aprendizado de programaçã com técnicas de diagnóstico hierárquico baseado em modelos
Depuração automática de programas baseada em modelos
Novidades java 7
