Paper: Vers l'utilisation des methodes formelles pour le developpement de linguiciels

ACL ID P98-1073
Title Vers l'utilisation des methodes formelles pour le developpement de linguiciels
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1998
Authors

Formal methods have'nt been applied enough in the development process of lingware although their advantages have been proved in many other domains. In this framework, we have investigated some applications dealing with different processing levels (lexical analyses, morphology, syntax, semantic and pragmatic). These investigations has mainly led to the following observations. First of all, we have no- ticed a lack of use of methodologies that cover all the life cycle of a software development. The formal specification has not been used in the first development phases. In addition, we have noticed the lack of formal validation and consequently the insufficient guarantee of the developed software results. Moreover, there has been no appeal to rigorous methods of integration to solve the dicho...