Travelled to:1 × France
1 × Italy
1 × The Netherlands
Collaborated with:E.Teniente D.Costal C.Gómez R.Raventós
Talks about:schema (3) uml (3) constraint (2) conceptu (2) reason (2) oper (2) precondit (1) contract (1) general (1) facilit (1)
Person: Anna Queralt
DBLP: Queralt:Anna
Contributed to:
20092008
2006Wrote 4 papers:
- CAiSE-2009-QueraltT #concept #reasoning #uml
- Reasoning on UML Conceptual Schemas with Operations (AQ, ET), pp. 47–62.
- CAiSE-2008-CostalGQT #concept #contract
- Drawing Preconditions of Operation Contracts from Conceptual Schemas (DC, CG, AQ, ET), pp. 266–280.
- CAiSE-2008-QueraltT #constraints #decidability #reasoning #uml
- Decidable Reasoning in UML Schemas with Constraints (AQ, ET), pp. 281–295.
- MoDELS-2006-CostalGQRT #constraints #uml
- Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.