2026-06-02T04:53:01Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/145412026-02-03T12:16:25Zcom_10630_2254col_10630_37959

00925njm 22002777a 4500 dc Burgueño-Caballero, Lola author Gogolla, Martin author Vallecillo-Moreno, Antonio Jesús author The specification of any non-trivial system is normally composed of a set of models. Each model describes a different view of the system, focuses on a particular set of concerns, and uses its own notation. For example, UML defines a set of diagrams for modelling the structure and behavior of any software system. One of the problems we perceived with our students is that they are able to understand each one of these diagrams, but they have problems understanding how they are related, and how the overall system specifications work when composed of a set of views. This paper presents a simple case study that we have developed and successfully used in class, which permits students developing the principal views of a system, simulate them, and check their relations. http://hdl.handle.net/10630/14541 http://orcid.org/0000-0002-7779-8810 Soporte lógico - Verificación Teaching Model Views with UML and OCL