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 …
L Zhang, H Wang, C Xu, P Yu - 2022 IEEE International …, 2022 - ieeexplore.ieee.org
Nowadays applications are getting increasingly attractive by being capable of adapting their behaviors based on their understanding to running environments (aka contexts). However …
C Mayr-Dorn, CC Ratiu, LM de Paula… - Journal of Systems and …, 2024 - Elsevier
Software engineering organizations in safety-critical domains require rigorous processes that include explicit software quality assurance measures (QA) to achieve high-quality and …
L Zhang, H Wang, C Chen, C Xu, P Yu - Journal of Systems and Software, 2024 - Elsevier
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 …
M Gao, H Wang, C Xu - 2024 IEEE International Conference on …, 2024 - ieeexplore.ieee.org
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 …