Skip to main content
SpringerLink
Log in

An Environment for Formal Specification and Verification of Lingware

  • Conference paper
  • First Online:
Engineering of Intelligent Systems (IEA/AIE 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2070))

  • 679 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cliff B. J., Systematic software development using VDM. Prentice Hall International, 1986.

    Google Scholar 

  2. Cunningham, H., & al., A General Architecture for Text Engineering (GATE): a new approach to language Engineering R&D. Technical report, University of Shiffield.

    Google Scholar 

  3. Dawes J., The VDM-SL reference guide. Pitman publishing, 1991.

    Google Scholar 

  4. Erbach J. D., Manandhar S. & Uszkoreit H., A report on the draft EAGLES encoding standard for HPSG. Actes de TALN’96, 1996, Marseille, France.

    Google Scholar 

  5. Gargouri B., Jmaiel M. & Ben Hamadou A., A formal approach to lingware development, IEA/AIE’99, May 31-June 03, 1999, Cairo, EGYPT (LNCS, Springer-Verlag no 1611).

    Google Scholar 

  6. Gargouri B., Jmaiel M. & Ben Hamadou A., Using a formal approach to evaluate grammars, LREC’ 2000, 31 May-02 June 2000, Athenes, Greece.

    Google Scholar 

  7. Grishman R., TIPSTER Architecture Design Document Version 2.2. Technical report, DARPA., Available at http://www.tipster.org/.

  8. Jensen K., Heidorn G. E. & Richardson S. D., Natural Language Processing: The PLNLP Approach. Kulwer academic publishers, 1993.

    Google Scholar 

  9. Karttunen L., D-PATR: A development environment for unification based grammars, COLING-ACL’86, Bonn, Germany, Auguste 1986.

    Google Scholar 

  10. Myelemans P., ALEP-Arriving at the next platform. ELSNews, 1994, 3(2):4–5.

    Google Scholar 

  11. Popowich F., Available at ftp://sfu.ca/pub/cs/nl/HPSG-PL/manual.ps.Z/.

Download references

Author information

Authors and Affiliations

  1. LARIS Laboratory, FSEG-SFAX, B.P. 1088, 3018, TUNISIA

    Bilel Gargouri, Mohamed Jmaiel & Abdelmajid Ben Hamadou

Authors
  1. Bilel Gargouri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohamed Jmaiel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abdelmajid Ben Hamadou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hungarian Academy of Sciences, Intelligent Manufacturing and Business Processes Computer and Automation Research Institute, Kende utca 13-17, 1111, Budapest, Hungary

    László Monostori  & József Váncza  & 

  2. Department of Computer Science 601 University Drive, Southwest Texas State University, San Marcos, TX, 78666-4616, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gargouri, B., Jmaiel, M., Hamadou, A.B. (2001). An Environment for Formal Specification and Verification of Lingware. In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_60

Download citation

  • DOI: https://doi.org/10.1007/3-540-45517-5_60

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42219-8

  • Online ISBN: 978-3-540-45517-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation