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

  title={Teaching UML and OCL models and their validation to software engineering students: an experience report},
  author={Loli Burgue{\~n}o and Antonio Vallecillo and Martin Gogolla},
  journal={Computer Science Education},
  pages={23 - 41}
ABSTRACT Models are expanding their use for many different purposes in the field of software engineering and, due to their importance, universities have started incorporating modeling courses into their programs. Being a relatively new discipline, teaching modeling concepts brings in new challenges. Our contribution in this paper is threefold. First, we list and describe the main issues we have come across when teaching modeling in a dedicated Software Engineering course. We then present a… 

An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course

The context and design of the experiment, the results obtained from the empirical study the authors have performed, and the conclusions, which support the suitability of the use of tools are presented.

C4 model in a Software Engineering subject to ease the comprehension of UML and the software

This proposal uses the two first levels of the C4 model to complement the requirements elicitation process, traditionally based only on use cases, to let students start the design of their systems without going into greater technical details.

Teaching Software Modelling in an Undergraduate Introduction to Software Engineering

  • B. Westphal
  • Computer Science
    2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
  • 2019
This article presents an (otherwise completely ordinary) undergraduate introduction to software engineering with an emphasis on contemporary software modelling, and introduces proper sub-languages of common modelling languages like UML class diagrams with a complete formal abstract syntax and semantics.

Are we teaching UML according to what IT companies need? A survey on the São Carlos-SP region

An overview of the UML adoption in IT companies of the São Carlos SP and region is presented and directions to improve UML teaching are provided, focusing on diagrams that best adhere to the development processes employed, in particular, agile processes.

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany

This contribution shows the evolution of USE by summarizing important extensions over the years and noteworthy applications of USE in teaching, research and industry are presented.

An empirical study to evaluate students’ conceptual modeling skills using UML

Notable improvements in specific design skills could be consistently detected in students after the introduction of the Relational Data Model Validation Tool, thereby improving their skill development and course outcomes.

Characterizing Student Proficiency in Software Modeling in Terms of Functions, Structures, and Behaviors

The results suggest students being proficient in modeling the functional aspects of an information system while facing some difficulty in capturing the structural and behavioral aspects of a information system.

UML Acceptance: Analyzing the Students' Perception of UML Diagrams

Students considered use cases and class diagrams useful for designing systems, although they stated that their modeling was not easy, and the perceived usefulness was the construct that most influenced the students' intention to use these diagrams.

Constraints Specification Via Tool Support: A Controlled Experiment

The results indicate that as Java is more familiar to the subjects than OCL, the time to develop the constraints utilizing the developed framework was shorter whilst the confidence was higher, however, despite the greater familiarity with Java, the constraints quality was better when using OCL and USE.

VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates

This paper adapted the model-based learning paradigm and operationalised it into a technology-enhanced learning environment (TELE) for fostering software design evaluation skills in computer science undergraduates and showed that students’ understanding of evaluation improved.



Teaching Model Views with UML and OCL

This paper presents a simple case study, developed and successfully used in class, which permits students developing the principal views of a system, simulate them, and check their relations.

A Survey of Tool Use in Modeling Education

  • L. T. W. AgnerT. Lethbridge
  • Education
    2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
  • 2017
The key lessons from a survey of tool use in software modeling education are a) that tool developers have many opportunities to improve their products, and b) that educators might benefit from introducing students to multiple different tools.

Employing classifying terms for testing model transformations

A new technique is proposed for developing test cases for UML and OCL models that automatically constructs object models for class models enriched by OCL constraints by guiding the construction process through so-called classifying terms.

Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

This eagerly anticipated revision of the best-selling and definitive guide to the use of the UML is provided, providing a tutorial to its core aspects in a two-color format designed to facilitate learning.

On OCL-based imperative languages

Putting the Engineering into Software Engineering Education

The author provides his assessment of software engineering education and builds on the analysis to provide recommendations on how the authors need to diverge from computer science to increase their impact, gain credibility, and ultimately ensure the success and recognition of the young discipline.

The Unified Modeling Language User Guide (2nd Edition)

It is intended for graduate students, focusing on UML and methods, covering all development, and whatever arguments may exist about the best UML for programming, you will In Unified Modeling Language User Guide, 2nd Edition, when discussing.

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

This paper shows how a mapping between graph transformation-based specifications of DSVL semantics and Maude is possible, which allows performing simulation, reachability and model-checking analysis on the models, using the tools and techniques that Maude provides.

The Guide to the Software Engineering Body of Knowledge

The authors-who represent the project's editorial team-discuss the three-phase plan to characterize a body of knowledge, a vital step toward developing software engineering as a profession.