Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge

BIB
Martin Böschen and Christian Rudat
Proceedings of SKY 2015 - 6th International Workshop on Software Knowledge
We describe a particular notion of traceability, namely the traceability between model variables and text pas- sages in an informal requirement. We discuss why this is a useful concept, as it establishes a natural connection between formal and informal requirements. We describe a tool and an algorithm which establishes this trace- ability in a semi-automated way. The algorithm makes suggestions based on textual and semantic similarities.
2015
inproceedings
SCITEPRESS
58-63
CRYSTAL
Critical Systems Engineering Acceleration
Iaakov Exman and Juan Llorens and Anabel Fraga