Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Abstract : This article deals with traceability in knowledge repositories. 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 knowledge 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. As such, it is a valuable tool for building knowledge repositories.
https://hal.inria.fr/hal-01373659 Contributor : Jérôme EuzenatConnect in order to contact the contributor Submitted on : Thursday, September 29, 2016 - 8:21:01 AM Last modification on : Wednesday, February 2, 2022 - 3:52:09 PM Long-term archiving on: : Friday, December 30, 2016 - 12:17:24 PM