loading...
An Environment for Formal Lingware Engineering
Beirut, Lebanon June 25-June 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AICCSA.2001.934041ACS/IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, "An Environment for Formal Lingware Engineering," Computer Systems and Applications, ACS/IEEE International Conference on, pp. 0451, ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/AICCSA.2001.934041,
author = {Bilel Gargouri and Mohamed Jmaiel and Abdelmajid Ben Hamadou},
title = {An Environment for Formal Lingware Engineering},
journal ={Computer Systems and Applications, ACS/IEEE International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1165-1},
pages = {0451},
doi = {http://doi.ieeecomputersociety.org/10.1109/AICCSA.2001.934041},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Systems and Applications, ACS/IEEE International Conference on
TI - An Environment for Formal Lingware Engineering
SN - 0-7695-1165-1
SP
EP
A1 - Bilel Gargouri,
A1 - Mohamed Jmaiel,
A1 - Abdelmajid Ben Hamadou,
PY - 2001
VL - 0
JA - Computer Systems and Applications, ACS/IEEE International Conference on
ER -
 
Bilel Gargouri, LARIS Laboratory
Mohamed Jmaiel, LARIS Laboratory
Abdelmajid Ben Hamadou, LARIS Laboratory
Abstract: 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.
Citation:
Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, "An Environment for Formal Lingware Engineering," aiccsa, pp.0451, ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.