Testing Conceptual Schema Satisfiability - Intentional Perspectives on Information Systems Engineering - page 282

18. Queralt A, Teniente E (2008) Decidable reasoning in UML schemas with constraints. In:
Proceedings of CAiSE 2008. LNCS, vol 5074. Springer, Heidelberg, pp 281-295
19. Queralt A, Teniente E (2009) Reasoning on UML conceptual schemas with operations. In:
Proceedings of CAiSE 2009. LNCS, vol 5565. Springer, Heidelberg, pp 47-62
20. Rolland C, Richard C (1982) The REMORA methodology for information systems design
and management. In: Olle TW, Sol HG, Verrijn-Stuart AA (eds) Information systems design
methodologies: a comparative review. North-Holland, Amsterdam, pp 369-426
21. Rolland C, Cauvet C (1992) Trends and perspectives in conceptual modelling. In:
Loucopoulus P, Zicari R (eds) Conceptual modeling, databases and CASE: an integrated view
of information systems development, Wiley, pp 27-48
22. Rolland C, Cauvet C, Nobecourt P, Proix C, Coligon P, Lingat JY, et al (1988) The Rubis
system. In: Olle TW, Verrijn-Stuart AA, Bhabuta L (eds) Computerized assistance during the
information systems life cycle, North-Holland
23. Souveyet C, Rolland C (1990) Correction of conceptual schemas. In: Proceedings of CAiSE
1990. LNCS, vol 436. Springer, Heidelberg, pp 152-174
24. Tort A (2007) The osCommerce conceptual schema. http://guifre.lsi.upc.edu/OSCommerce.
pdf. Accessed 20 Feb 2010
25. Tort A (2009) A basic set of test cases for a fragment of the osCommerce conceptual schema.
Research report LSI-09-34-R, UPC. http://www.lsi.upc.edu/ ∼ techreps/files/R09-34.zip
26. Tort A, Olivé A (2010) An approach to testing conceptual schemas. Data Knowl Eng.
doi:10.1016/j.datak.2010.02.002. Accessed 20 Feb 2010
27. Van Lamsweerde A (2009) Requirements engineering: from system goals to UML models to
software specifications. Wiley, New York