TY  - GEN
AU  - Alcaraz Martín, Fernando
AU  - Arias Baña, Jorge
AU  - Gavela Coya, Juan Pablo
A4  - García Clavel, Manuel
PY  - 2006
UR  - https://hdl.handle.net/20.500.14352/54213
AB  - El objetivo de este proyecto es implementar un entorno gráfico de desarrollo dediagramas UML que permita la interactuación con el motor de validación ITP/OCLTool. Dicho sistema, denominado MOVA Tool (Modelling & Validation Tool) escapaz de...
LA  - spa
KW  - UML
KW  - OCL
KW  - MOVA
KW  - ITP/OCL Tool
KW  - Maude
KW  - Diagrama de clases
KW  - Diagrama de objetos
KW  - Restricciones
KW  - Invariante
KW  - Validación
TI  - MOVA Tool (Visual ITP/OCL Tool)
TY  - coursework
ER  -