An Environment for Formal Specification and Verification of Lingware

This paper presents an environment that supports formal specification and verification of lingware (applications related to Natural Language Processing :NLP). This environment provides interfaces enabling the specification of both linguistic knowledge and functional aspects of an application. Linguistic knowledge are specified with the usual grammatical formalisms, while functional aspects are specified with a suitable formal notation. Both descriptions will be integrated, after transformation, in a same framework in order to obtain complete requirements specification that can be refined towards an executable program.