Paper Info
Title
A formal approach to lingware development
Abstract
This paper has two purposes. First, it presents a formal approach for the specification and development of lingware. This approach is based on the integration of the main existent formalisms for describing linguistic knowledge (i.e., Formal Grammars, Unification Grammars, HPSG, etc .) on the one hand, and the integration of data and processing on the other one. In this way, a specification of an application treating natural language includes all related aspects (linguistic and processing) in a unified framework. This approach promotes the reuse of proved correct specifications ( linguistic knowledge specifications, modules and subsystems). Second, it proposes an environment for the formal specification and development of lingware, based on the presented approach.
Year
DOI
Venue
1999
10.1007/978-3-540-48765-4_91
IEA/AIE
Keywords
Field
DocType
formal approach,natural language,formal grammar
Rule-based machine translation,Programming language,Computer science,Unification,Formal specification,Natural language,Formal methods,Parsing,Rotation formalisms in three dimensions,Software development
Conference
Volume
ISSN
ISBN
1611
0302-9743
3-540-66076-3
Citations 
PageRank 
References 
2
0.47
5
Authors
3
Name
Order
Citations
PageRank
Bilel Gargouri14315.26
Mohamed Jmaiel2668110.41
Abdelmajid Ben Hamadou335356.16