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]
@article{GoknilKB14,
title = {Generation and validation of traces between requirements and architecture based on formal trace semantics},
author = {Arda Goknil and Ivan Kurtev and Klaas van den Berg},
year = {2014},
doi = {10.1016/j.jss.2013.10.006},
url = {http://dx.doi.org/10.1016/j.jss.2013.10.006},
researchr = {https://researchr.org/publication/GoknilKB14},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {88},
pages = {112-137},
}