Managing design-time uncertainty, ie, uncertainty that developers have about making
design decisions, requires creation of “uncertainty-aware” software engineering …

Modelling and analysis are key to managing the increasing complexity and heterogeneity of
today's software-intensive systems. Historically, different research communities have studied …

Evolution in software systems is a necessary activity that occurs due to fixing bugs, adding
functionality or improving system quality. Systems often need to be shown to comply with …

In critical software engineering, structured assurance cases (ACs) are used to demonstrate
how key properties (eg, safety, security) are supported by evidence artifacts (eg, test results …

Multi-Paradigm Modelling (MPM) has been proposed to tackle the complexities found in
Cyber-Physical Systems. MPM advocates the explicit modelling of all pertinent parts and …

Abstract Conventional wisdom on Model-Driven Engineering (MDE) suggests that this
software discipline is the key to achieve superior automation, whether it be refactoring …

Assurance cases are a means to argue about the safety, security, etc., of software systems in
critical domains. As systems evolve, their assurance cases can grow in complexity, making …

Software product lines continuously undergo model transformations, such as refactorings,
refinements, and translations. In product line transformations, the dedicated management of …

Abstract Model Transformations have been called the “heart and soul” of Model-Driven
software development. However, they take a lot of effort to build, verify, analyze, and debug …

Like most systems, automotive software systems evolve due to many reasons including
adding, removing or modifying features, fixing bugs, or improving system quality. In this …