An environment for formal lingware engineering

Presents an environment that supports the formal specification and verification of "lingware" (applications related to natural language processing). This environment provides interfaces enabling the specification of both linguistic knowledge and the functional aspects of an application. Linguistic knowledge is specified with the usual grammatical formalisms, while the functional aspects are specified with a suitable formal notation. Both descriptions are integrated, after transformation, into the same framework in order to obtain a complete requirements specification that can be refined towards an executable program.