Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas | Publicación