AuRUS: Automated Reasoning on UML/OCL Schemas

Autor: Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí
Rok vydání: 2010
Zdroj: Conceptual Modeling – ER 2010 ISBN: 9783642163722
DOI: 10.1007/978-3-642-16373-9_32
Databáze: OpenAIRE