Engineering of Intelligent Systems

Volume 2070 of the series Lecture Notes in Computer Science pp 539-545


An Environment for Formal Specification and Verification of Lingware

  • Bilel GargouriAffiliated withLARIS Laboratory, FSEG-SFAX
  • , Mohamed JmaielAffiliated withLARIS Laboratory, FSEG-SFAX
  • , Abdelmajid Ben HamadouAffiliated withLARIS Laboratory, FSEG-SFAX

* Final gross prices may vary according to local VAT.

Get Access


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.