Title :
An environment for formal lingware engineering
Author :
Gargouri, Bilel ; Jmaiel, Mohamed ; Ben Hamadou, Abdelmajid
Abstract :
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
Keywords :
computational linguistics; computer aided software engineering; formal specification; formal verification; grammars; natural language interfaces; natural languages; executable program; formal lingware engineering environment; formal notation; formal specification; formal verification; functional aspects specification; grammatical formalisms; integrated description; linguistic knowledge specification; natural language processing applications; requirements specification; specification refinement; user interfaces; Air safety; Application software; Computer languages; Formal specifications; Knowledge representation; Libraries; Natural language processing; Refining; Security; Specification languages;
Conference_Titel :
Computer Systems and Applications, ACS/IEEE International Conference on. 2001
Conference_Location :
Beirut
Print_ISBN :
0-7695-1165-1
DOI :
10.1109/AICCSA.2001.934041
