Maintaining the consistency of engineering artifacts is a challenge faced by several
engineering companies. This is more evident when the engineering artifacts are created …

Regulations, standards, and guidelines for safety-critical systems stipulate stringent
traceability but do not prescribe the corresponding, detailed software engineering process …

Working with models can lead to inconsistencies due to erroneous or contradictory actions
during concurrent modeling processes. Modern modeling environments typically tolerate …

Nowadays applications are getting increasingly attractive by being capable of adapting their
behaviors based on their understanding to running environments (aka contexts). However …

Smart applications can adapt their behaviors based on their understanding to environments
(aka contexts). This capability can, however, incur unexpected misbehavior or even crash …

When dealing with safety–critical systems, various regulations, standards, and guidelines
stipulate stringent requirements for certification and traceability of artifacts, but typically lack …

The process of developing high-quality software depends on the extent to which it meets
what is required of it completely and correctly. As a result, the requirements validation …

abstract Autosar (AUTomotive Open System ARchitecture) is a development partnership
whose primary goal is the standardization of basic system functions and functional interfaces …

Research as early as the 90s identified rigid, active process enactment as detrimental to
engineers' flexibility. While software engineering processes thus are rarely" executable" …

In regulation-intensive domains, software engineering organizations need to demonstrate
compliance with process and traceability guidelines. To this end, novel approaches have …