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 …

Modeling is often associated with complex and heavy tooling, leading to a negative
perception among practitioners. However, alternative paradigms, such as everything-as …

Weaknesses in the user experience (UX) provided by software modeling tools have been
identified as important barriers reducing the uptake of such tools by developers. Emotional …

Purpose: Software modelling and Model-Driven Engineering (MDE) is traditionally studied
from a technical perspective. However, one of the core motivations behind the use of …

UML is the standard in software modeling and enjoys widespread use across various
domains. However, domains like cyber-physical systems necessitate developers to model …

Usability and User Experience (UX) evaluation methods have important roles in business
and scientific spheres, effectively pinpointing areas for enhancement across a broad …