External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

AuRUS: Automated Reasoning on UML/OCL Schemas

Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí. AuRUS: Automated Reasoning on UML/OCL Schemas. In Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson C. Woo, Yair Wand, editors, Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Volume 6412 of Lecture Notes in Computer Science, pages 438-444, Springer, 2010. [doi]

Authors

Anna Queralt

This author has not been identified. Look up 'Anna Queralt' in Google

Guillem Rull

This author has not been identified. Look up 'Guillem Rull' in Google

Ernest Teniente

This author has not been identified. Look up 'Ernest Teniente' in Google

Carles Farré

This author has not been identified. Look up 'Carles Farré' in Google

Toni Urpí

This author has not been identified. Look up 'Toni Urpí' in Google
runs on