We study the question of consistency of multi-view models in UML and OCL. We critically
survey the large amount of literature that already exists. We find that only limited subsets of …

Ensuring the correctness of a conceptual schema is an essential task in order to avoid the
propagation of errors during software development. The kind of reasoning required to …

In the academic literature, many uses of the Object Constraint Language (OCL) have been
proposed. By contrast, the utilization of OCL in contemporary modelling tools lags behind …

Context: With increasing size, modeling projects have a growing need for an internal
structure, much like the directory structure coding projects use to store source code and …

Modern passenger cars are facing an increase in customer demands on infotainment and
driver assistance systems. The growing amount of driving assistance functions increases the …

This paper reports the theoretical analysis of substrate (Sapphire, Si, SiC, Diamond) effects
on the saturation drain current and transconductance of Al. 27 Ga. 73 N/GaN high-electron …

We study the question of consistency of multi-view models in UML and OCL. We first
critically survey the large amount of literature that already exists. We find that only limited …

Abstract The success of Model-Driven Engineering (MDE) relies on the quality of the
employed models. Thus, quality assurance through validation and verification has a tradition …

Model Driven Development (MDD) is a software development methodology that allows us to
use the models instead of code. In later stages, these software models can be transformed …