Formal definition of measures for UML statechart diagrams using OCL.

Luis Reynoso, Jos A. Cruz-Lemus, Marcela Genero, Mario Piattini

Browse the full SAC paper archive.