Decidable Reasoning in UML Schemas with Constraints

Anna Queralt, Ernest Teniente. Decidable Reasoning in UML Schemas with Constraints. In Antonio Vallecillo, Goiuria Sagardui, editors, XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009. pages 354-254, 2009.

Abstract

Abstract is missing.