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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barroca, L.M., McDermid, J.A.: Formal methods: use and relevance for the development of safety-critical systems. The Computer Journal 35(6) (1992)
Ben Hamadou, A.: Vérification et correction automatiques par analyse affixale des textes écrits en langage naturel: le cas de l’arabe non voyellé. In: Thése Es-Sciences en Informatique, Faculté des Sciences de Tunis (1993)
Naom, C.: Structures syntaxiques, Le Seuil,Paris (1959)
Jones, C.B.: Systematic software development using VDM. Prentice Hall. International, Englewood Cliffs (1986)
Myriam, D., Habib, H.M., Jean-Gabriel, G.: Une approche pour la réutilisation des spécifications de logiciels. Génie logiciel (45), 21–27 (1997)
John, D.: The VDM-SL reference guide. Pitman publishing (1991)
Erbach, J.D., Manandhar, S., Uszkoreit, H.: A report on the draft EAGLES encoding standard for HPSG. Actes de TALN 1996, Marseille, France (1996)
Cathrine, F.: Linguistique et Traitements Automatiques des Langues. Hachette (1993)
Gargouri, B., Jmaiel, M., Ben Hamadou, A.: Intérêts des Méthodes Formelles en Génie Linguistique. In: TALN 1998, Paris, France, Juin 10-12 (1998)
Gargouri, B., Jmaiel, M., Ben Hamadou, A.: Vers l’utilisation des méthodes formelles pour le développement de linguiciels. In: COLING-ACL 1998, Montréal,Québec,Canada, Août 10-14 (1998)
Andrew, H.: A Parsing Algorithm for Unification Grammar. Computational Linguistics 15(4) (1989)
Jensen, K., Heidorn, G.E., Richardson, S.D.: Natural Language Processing:The PLNLP Aproach. Kulwer academic publishers, Boston (1993)
Miller Philip et Torris Thérése: Formalismes syntaxiques pour le traitement auto- matique du langage naturel. Hermes Paris (1990)
Paul, M.: ALEP-Arriving at the next platform. ELSNews 3(2), 4–5 (1994)
Gérard, S.: L’intelligence artificielle et le langage, vol. 2 Hermés(edn.) (1989)
Rémi, Z.: SCSL: a linguistic specification language for MT. In: COLING 1986, Bonn, August 25-29 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gargouri, B., Jmaiel, M., Ben Hamadou, A. (1999). A Formal Approach to Lingware Development. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_91
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_91
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive