Automated reasoning on UML conceptual schemas with derived information and queries

Carles Farré, Anna Queralt, Guillem Rull, Ernest Teniente, Toni Urpí. Automated reasoning on UML conceptual schemas with derived information and queries. Information \& Software Technology, 55(9):1529-1550, 2013. [doi]

Abstract

Abstract is missing.