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.