The processes used to develop software need to comply with normative requirements (eg,
standards and regulations) to align with the market and the law. Manual compliance …

Refining high-level requirements into low-level ones is a common task, especially in safety-
critical systems engineering. The objective is to describe every important aspect of the high …

Software processes, together with software quality assurance, focus on ensuring and
attesting that the engineering processes result in the appropriate software quality. Complex …

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

Software engineering organizations in safety-critical domains require rigorous processes
that include explicit software quality assurance measures (QA) to achieve high-quality and …

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

Traceability allows stakeholders to extract and comprehend the trace links among software
artifacts introduced across the software life cycle, to provide significant support for software …

Introduction Software development involves creating various artifacts at different levels of
abstraction and establishing relationships between them is essential. Traceability link …

Constraint checking techniques are being widely used for ensuring the consistency of
software artifacts during their development and evolution (eg, detecting inconsistency in an …

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