An Environment for Formal Specification and Verification of Lingware

Authors:
Bilel Gargouri;Mohamed Jmaiel;Abdelmajid Ben Hamadou
Affiliations:
-;-;-
Venue:
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Year:
2001

Citing 4
Cited 1

Systematic software development using VDM

Systematic software development using VDM
A formal approach to lingware development

IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Natural Language Processing: The Plnlp Approach

Natural Language Processing: The Plnlp Approach
D-PATR: a development environment for unification-based grammars

COLING '86 Proceedings of the 11th coference on Computational linguistics

An approach to the formal specification of lingware

Natural Language Engineering

Quantified Score

Hi-index	0.00

Visualization

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.