Anna Queralt

2012

• Verification and Validation of UML Conceptual Schemas with OCL Constraints

  ACM Transactions on Software Engineering and Methodology

  A. Queralt, and E. Teniente
• OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

  Data & Knowledge Engineering

  A. Queralt, A. Artale, D. Calvanese, and E. Teniente

2010

• AuRUS: Automated Reasoning on UML/OCL Schemas

  ER

  A. Queralt, G. Rull, E. Teniente, C. Farré, and T. Urp\'ı

2009

• Reasoning on UML Conceptual Schemas with Operations

  CAiSE

  A. Queralt, and E. Teniente

2008

• Drawing Preconditions of Operation Contracts from Conceptual Schemas

  CAiSE

  D. Costal, C. Gómez, A. Queralt, and E. Teniente
• Decidable Reasoning in UML Schemas with Constraints

  CAiSE

  A. Queralt, and E. Teniente
• Validation of UML Conceptual Schemas with Operations

  CAiSE Forum

  A. Queralt, and E. Teniente
• A platform independent model for the electronic marketplace domain

  Software and System Modeling

  A. Queralt, and E. Teniente
• Improving the definition of general constraints in UML

  Software and System Modeling

  D. Costal, C. Gómez, A. Queralt, R. Raventós, and E. Teniente

2006

• Reasoning on UML Class Diagrams with OCL Constraints

  ER

  A. Queralt, and E. Teniente