Requirements Engineering: Foundation for Software Quality (REFSQ)

• Bidirectional Traceability between Datasets and ODDs: A Formal Approach for ML-Based Safety-Critical Development