Skip to main content
SpringerLink
Log in
SpringerLink
Log in

The Design and Implementation of Z Language Editor

  • Conference paper
Algorithms and Architectures for Parallel Processing (ICA3PP 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5574))

  • 1793 Accesses

Abstract

This paper introduces the analysis, design and realization of the visual editor which supports Z language. It makes a detail of key technologies, including the input and output of special characters, the input and output of schema, the superscript and subscript and the optimized display of the text; the editor not only supports the processing of standard Z language but also provides input and output of a variety of graphics, simplifying editing and typesetting of Z language.

(This work is supported in part by Natural Science Foundation of Guangdong in China (06301204).

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. Spivey, J.M.: The Z Notation: a Reference Manual, 2nd edn. Prentice Hall, London (1990)

    MATH  Google Scholar 

  2. Toyn, I., Galloway, A.: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. Springer, Heidelberg (2005)

    Book  Google Scholar 

  3. Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML. Prentice Hall, Englewood Cliffs (2005)

    MATH  Google Scholar 

  4. Gamma, E., et al.: Design Patterns. Addison Wesley, Reading (1995)

    Google Scholar 

  5. Richter, J.: Programming Applications for Microsoft Windows. Microsoft Press, Washington (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dongguan University of Technology, Daxue Road No.1 Dongguan, Guangdong, China, 523808

    Xiaolei Gao

Authors
  1. Xiaolei Gao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Information Engineering, National Taiwan University of Science and Technology, 106, Taipei City, Taiwan, ROC

    Arrems Hua  & Shih-Liang Chang  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gao, X. (2009). The Design and Implementation of Z Language Editor. In: Hua, A., Chang, SL. (eds) Algorithms and Architectures for Parallel Processing. ICA3PP 2009. Lecture Notes in Computer Science, vol 5574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03095-6_64

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03095-6_64

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03094-9

  • Online ISBN: 978-3-642-03095-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation