Semantics of trace relations in requirements models for consistency checking and inferencing

Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis. Semantics of trace relations in requirements models for consistency checking and inferencing. Software and Systems Modeling, 10(1):31-54, 2011. [doi]

Abstract

Abstract is missing.