Teaching UML and OCL models and their validation to software engineering students: an experience report | Publicación