Correa, A., Werner, C., & Barros, M. 2007 out 15. Enhancing the Understandability of OCL Specifications. Anais do SimpĆ³sio Brasileiro de Engenharia de Software (SBES). [Online] :