TY - GEN AU - García Sánchez, Ana María AU - García de Dios, Miguel Ángel AU - Gallego Carricondo, Carlos A4 - García Clavel, Manuel PY - 2007 UR - https://hdl.handle.net/20.500.14352/54325 AB - La herramienta de modelado UML MOVA permite, además del diseño dediagramas UML, la evaluación de los mismos mediante restricciones OCL. Estasrestricciones OCL garantizan que la información semántica, que el diseñador haincluido en los diagramas, es la... LA - spa KW - Diagramas UML KW - XMI KW - Diagram Interchange KW - DOM KW - JDOM KW - MOVA KW - OCL TI - Extensión de la herramienta de modelado UML MOVA con la funcionalidad de exportación e importación de diagramas en el estándar XMI TY - coursework ER -