TY - GEN AU - Prieto Ruiz, Rocío AU - Rodríguez Alonso, Belén AU - Suárez Bravo, Álvaro A4 - García Clavel, Manuel PY - 2007 UR - https://hdl.handle.net/20.500.14352/54323 AB - El presente documento presenta la herramienta MOVA Tool, que es unaherramienta para modelar y validar diagramas UML. El primer objetivo de la herramienta MOVA Tool fue diseñar diagramas declases y objetos, incorporando las restricciones OCL. Para... LA - spa KW - MOVA Tool KW - UML KW - ITP/OCL Tool TI - MOVA Tool TY - coursework ER -