EFLE: an environment for generating lingware systems code from formal requirements specification

Summary form only given. We present an environment for formal lingware engineering (EFLE) that supports formal specification and verification. The aim of EFLE is to generate lingware systems code from formal requirements specification. This environment provides interfaces enabling the specification of both linguistic knowledge and functional aspects of an application. Linguistic knowledge is specified with the usual grammatical formalisms, whereas functional aspects are specified with a suitable formal notation. Both descriptions are integrated, after transformation, in the same framework in order to obtain complete requirements specification. The obtained requirements specification is refined until an executable program is obtained.