Une archive numérique francophone des articles de recherche en Traitement Automatique de la Langue.

Intérêts des méthodes formelles en génie linguistique

Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou

Abstract : This paper investigates the needs of formal methods for specifying and developing applications related to the Natural Language Processing (NLP) domain. First, we show the main advantages and facilities provided by formal methods in the development of general software. Then, we illustrate the principal results obtained from an experiment carried out a real application. Thereafter, we deduce the contributions of formal methods in the context of natural language processing. Finally, we propose methodological criteria allowing the choice of the appropriate formal method.