JADE: a framework for interactives graphical applications development. - Raphael Cerqueira; Eduardo M. F. Jorge (EATIS, 2008)