Automated reasoning on UML conceptual schemas with derived information and queries
Authors: Farré, Carles / Queralt, Anna / Rull, Guillem / Teniente, Ernest / Urpí, Toni
Publication: Information & Software Technology
Volume / Number / Pagination: 55 / 9 / 1529-1550