Teaching UML and OCL models and their validation to software engineering students: an experience report

10.1109/MODELS.2017.1

Booch G., 2005, Unified modeling language user guide, 2

Bourque P., 2014, Guide to the software engineering body of knowledge (SWEBOK Guide), version 3.0

Burgueño L., 2017, Proc. of MODELS 2017 satellite events, 529

10.1016/j.scico.2013.10.003

10.1016/j.scico.2007.01.013

Gogolla M., 2016, Proc. Modellierung (MODELLIERUNG’2016), 203

10.1109/MODELS.2015.7338262

Meyer B., 1997, American Programmer, 10, 37

10.1109/MS.2013.12

Olivé A., 2007, Conceptual modeling of information systems

OMG, 2000, Object constraint language specification, chapter 7

Rivera J.E., 2008, Proc. of SLE’08, 5452, 54

10.1109/EDOC.2009.23

Vincenti W., 1990, What engineers know and how they know it, 10.56021/9780801839740