Comprobación eficiente de restricciones de integridad en OCL

Jordi Cabot, Ernest Teniente. Comprobación eficiente de restricciones de integridad en OCL. In Xavier Franch, editor, XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007. Actas. pages 391-392, Thomson Editorial, 2007.

Abstract

Abstract is missing.