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 |
Externí odkaz: |