Anna Queralt Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. 21(2): 13 (2012)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente: OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012)
2010
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí: AuRUS: Automated Reasoning on UML/OCL Schemas. ER 2010: 438-444
2009
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: Reasoning on UML Conceptual Schemas with Operations. CAiSE 2009: 47-62
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. JISBD 2009: 354-254
2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente: Drawing Preconditions of Operation Contracts from Conceptual Schemas. CAiSE 2008: 266-280
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. CAiSE 2008: 281-295
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: Validation of UML Conceptual Schemas with Operations. CAiSE Forum 2008: 101-104
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: A platform independent model for the electronic marketplace domain. Software and System Modeling 7(2): 219-235 (2008)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente: Improving the definition of general constraints in UML. Software and System Modeling 7(4): 469-486 (2008)
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: Reasoning on UML Class Diagrams with OCL Constraints. ER 2006: 497-512
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente: Facilitating the Definition of General Constraints in UML. MoDELS 2006: 260-274
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: Specifying the Semantics of Operation Contracts in Conceptual Modeling. J. Data Semantics VII: 33-56 (2006)
2005
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Queralt, Ernest Teniente: On the Semantics of Operation Contracts in Conceptual Modeling. CAiSE Short Paper Proceedings 2005

Coauthor Index

1Alessandro Artale [13]
2Diego Calvanese [13]
3Dolors Costal [3] [5] [9]
4Carles Farré [12]
5Cristina Gómez [3] [5] [9]
6Ruth Raventós [3] [5]
7Guillem Rull [12]
8Ernest Teniente [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
9Toni Urpí [12]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page