TQPropRefiner: Interactive Comprehension and Refinement of Specifications on Transient Software Quality Properties - Supplementary Materials
Sebastian Frank, Julian Brott, Alireza Hakamian, André van Hoorn · Zenodo (CERN European Organization for Nuclear Research) · 2023
Supplementary material for: Sebastian Frank, Julian Brott, Alireza Hakamian, and André van Hoorn: TQPropRefiner: Interactive Comprehension and Refinement of Specifications on Transient Software Quality Properties