Model-based systems engineering (MBSE) provides an important capability for managing
the complexities of system development. MBSE empowers the formalism of system …

Understanding and modelling pedestrian behavior is important for traffic safety, not least in
the context of vehicle automation. There exist competing models for how pedestrians decide …

The growing use of mobile devices that are available everywhere can blur the boundaries
between life domains work and life. The increasing number of notifications on smartphones …

The computing paradigm based on the giant like DC is replaced by a new paradigm. The
urgency of this shift is caused by the requirements of new applications that actively use …

Domain-Specific Modelling Languages (DSLs) allow domain experts to create models using
abstractions they are most familiar with. A DSL's syntax is specified in two parts: the abstract …

The complexity of engineered systems is ever increasing, resulting in a plethora of larger
and more diverse models. This increase in complexity can be addressed by collaborative …

ABSTRACT The SyVOLT tool verifies DSLTrans transformations by generating a state-space
for the transformation's execution, and then proving structural contracts on that state-space …

As the complexity of software systems increases, the engineering effort for develo** those
systems must deal with that complexity. One paradigm for software development is model …