This article deals with traceability in software engineering. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowkedge facilitates the production of traceability links, provided that language processing technologies allow to elaborate semi-automatically the required terminological resources. The presented system is one step towards incremental formalization from textual knowledge
['Farid Cerbah', 'Jérôme Euzenat']
Using terminology extraction to improve traceability from formal models to textual requirements