Diverse scenario exploration in model finders using graph kernels and clustering
Clustering of model instances by using graph kernels. Make sure you test your models with the most diverse set of examples!
From informal to formal modeling
We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
PAMELA, an annotation-based Java modeling framework
PAMELA proposes a shift in the modeling paradigm, in which models and code are developed together and at the same time in what we call a continuous modeling process.
KDM to UML model transformation for Quantum Software Modernization
Quantum computing is getting closer and closer to being embedded in commercial information systems. This post shows you how to modernize, via a KDM to UML transformation, “traditional systems” and them ready to become hybrid systems embedding quantum software components
(Not) Yet Another Metamodel for Traceability
Discover why we need a new traceability metamodel and the quality characteristics that enable ours to reason on the value of a trace
Modeling self-adaptative IoT architectures
A domain-specific language to model multi-layered IoT systems, including the definition rules to express how the Internet of Things system should adapt in reaction to changes in its environment
Modeling: all you need to know
