Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal Engineering Methods

ICFEM 2002: Formal Methods and Software Engineering pp 401–405Cite as

Developing a Spell-Checker for Tajik Using RAISE

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2495))

Abstract

Tajik is spoken in the Republic of Tajikistan where it has been the official language since 1989, and the neighbouring areas of Uzbekistan and Kyrgyzstan.Tajik does not currently have a spell checker. This paper describes the process of developing such a spell checker using formal methods, in particular RAISE. The spell checker is supposed to: check the spelling of a given word according to the rules of the language and existing dictionaries; decompose correct words into prefixes, roots and suffixes; and suggest how to correct the words that are misspelled.

Technological University of Tajikistan, Dushanbe, Tajikistan.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Univan Ahn and Chris George. C++ Translator for RAISE Specification Language. Technical Report 220, UNU/IIST, P.O. Box 3058, Macau, November 2000.

    Google Scholar 

  2. Gafurov Davrondjon and Tomasz Janowski. Developing a Spell-Checker for Tajik using RAISE. Technical Report 252, UNU/IIST, P.O. Box 3058, Macau, May 2002.

    Google Scholar 

  3. И. калонтаров. Лугати Орφограφи. Ministry of Education of Republic of Tajikistan, 1959.

    Google Scholar 

  4. M. A. Исмаилов. Основы Автоматизированного Морφологического Анализ лjов Таджикского Яазыка. Institute of Mathematics of the Academy of Sciences of Tajikistan, 1994.

    Google Scholar 

  5. The RAISE Method Group. The RAISE Specification Language. Prentice Hall, 1992.

    Google Scholar 

  6. The RAISE Method Group. The RAISE Development Method. Prentice Hall, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. UNU/IIST, P.O. Box 3058, Macau

    Gafurov Davrondjon & Tomasz Janowski

Authors
  1. Gafurov Davrondjon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tomasz Janowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes, Est. do Engenheiro Trigo No. 4, P.O. Box 3058, Macao

    Chris George

  2. School of Computer Engineering and Science, Shanghai University, 149 Yanchang Road, Shanghai, 200072, P.R. China

    Huaikou Miao

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Davrondjon, G., Janowski, T. (2002). Developing a Spell-Checker for Tajik Using RAISE. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-36103-0_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00029-7

  • Online ISBN: 978-3-540-36103-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation