Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Berardi D, Calvanese D, De Giacomo G (2005) Reasoning on UML class diagrams. Artificial Intelligence 168(1–2):70–118
2. Booch G, Rumbaugh J, Jacobson I (2005) The unified modeling language reference manual, 2nd edn. Addison-Wesley, Reading, MA
3. Brambilla M, Tziviskou C (2009) An online platform for semantic validation of UML models. In: Proceedings of ICWE 2009. LNCS, vol 5648. Springer, Heidelberg, pp 477–480
4. Calvanese D, Lenzerini M (1994) On the interaction between ISA and cardinality constraints. In: Proceedings of ICDE 1994, IEEE Computer Society, Washington, DC, pp 204–213
5. Clavel M, Egea M, de Dios MAG (2009) Checking unsatisfiability for OCL constraints. In: Proceedings of OCL workshop MODELS 2009. http://modeling-languages.com/events/OCLWorkshop2009/papers/3.pdf . Accessed20Feb2010