Login / Signup
Semantics of trace relations in requirements models for consistency checking and inferencing.
Arda Goknil
Ivan Kurtev
Klaas van den Berg
Jan-Willem Veldhuis
Published in:
Softw. Syst. Model. (2011)
Keyphrases
</>
consistency checking
probabilistic model
cardinal directions
case study
optimal solution
relational databases
query language
temporal relations