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

ACL ID C98-1070
Title Vers l'utilisation des methodes formelles pour le developpement de linguiciels
Venue International Conference on 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 ...