Generation and validation of traces between requirements and architecture based on formal trace semantics

Arda Goknil, Ivan Kurtev, Klaas van den Berg. Generation and validation of traces between requirements and architecture based on formal trace semantics. Journal of Systems and Software, 88:112-137, 2014. [doi]

Abstract

Abstract is missing.