Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot
Driss Sadoun. Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot. Intelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2014. Français. ⟨NNT : 2014PA112116⟩. ⟨tel-01060540⟩
