Model-Based Software Engineering (MBSE) has a high potential to play a critical role in the
whole process of software engineering, bringing many benefits to all stakeholders, yet it is …

Alloy is a declarative formal modeling language with syntax derived from notations common
to object-oriented design and first-order relational logic semantics. To better understand the …

Industrial control applications are usually designed by domain experts instead of software
engineers. These experts frequently use visual programming languages based on …

Modeling is an essential and challenging activity in any engineering environment, and it
requires some hard-to-train skills such as abstraction and communication. This makes it …

Context: The usage of domain-specific languages (DSLs) is an approach to reduce
complexity in software development by expert developers for selected application domains …

Gamification refers to the exploitation of gaming mechanisms for serious purposes, like
learning hard-to-train skills such as modeling. We present a gamified version of Papyrus, the …

Software scientists and practitioners have criticized Model-driven engineering (MDE) for
lacking effective tooling. Although progress has been made, most MDE analysis tools rely on …

This paper presents a qualitative empirical study that seeks to delve into and illuminate the
mindset barriers confronted by software developers that hinder the acceptance and use of …

Objective: This is something we explore in order to help teachers choose a suitable engine
for teaching game development to beginners. In this study, two teams of two persons each …

Controller performance is a crucial aspect of industrial processes; hence, it is critical to
maintaining optimal controller performance conditions. Bad controller performance can be …