Skip to main content
SpringerLink
Log in

Constructing a Graphics System with OBJ2: A Practical Guide

  • Chapter
Software Engineering with OBJ

Part of the book series: Advances in Formal Methods ((ADFM,volume 2))

  • 109 Accesses

Abstract

The output part of a graphics system functionally identical to QuickDraw, the basic graphics package of Macintosh, is described in OBJ2. The construction process and the resultant description raise some pragmatic issues in using OBJ2 as a specification language, such as the criteria for selecting a particular construction from among several alternatives. An example of checking specifications in a systematic way is also shown.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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. Rod Burstall and Joseph Goguen. The Semantics of Clear, A Specification Language. Proc. of 1979 Copenhagen Winter School, Lecture Notes in Computer Science 86, Springer-Verlag, 1980, pp. 292–332.

    Google Scholar 

  2. Kokichi Futatsugi. An Overview of OBJ2. Proc. of Franco-Japanese Symp. on Programming of Future Generation Computers, Tokyo, Oct. 1986, published as Programming of Future Generation Computers, ed. Fuchi,K. and Nivat,M., North-Holland, 1988, pp. 139–160.

    Google Scholar 

  3. Kokichi Futatsugi. Experiences in Algebraic Specification/Programming Language Systems. Internal Report, Electrotechnical Laboratory, 1989.

    Google Scholar 

  4. Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud and José Meseguer. Principles of OBJ2. Proc. 12th Symp. on Princ. ProgLang. 1985, pp. 52–66.

    Google Scholar 

  5. Kokichi Futatsugi, Joseph Goguen, José Meseguer and K. Okada. Parameterized Programming in OBJ2. Proc. of 9th Int. Conf. Soft. Eng., March, 1987, pp. 51–60.

    Google Scholar 

  6. Joseph Goguen. Higher Order Functions Considered Unnecessary for Higher Order Programming. Tech. Rep. CSL-88–1, SRI International, 1988.

    Google Scholar 

  7. Joseph Goguen. Modular Algebraic Specification of Some Basic Geometric Constructions. Artificial Intelligence, Vol. 37, 1988, pp. 123–153.

    Article  MathSciNet  MATH  Google Scholar 

  8. Joseph Goguen and Joseé Meseguer. Order-Sorted Algebra I: Partial and Overloaded Operators, Errors and Inheritance. Technical Report, SRI International, Computer Science Lab., 1987.

    Google Scholar 

  9. Joseph Goguen, James Thatcher and Eric Wagner. An initial algebra approach to the specification, correctness, and implementation of abstract data types, In Raymond Yeh, editor, Current Trends in Programming Methodology, IV, pages 80–149. Prentice-Hall, 1978.

    Google Scholar 

  10. Joseph Goguen and Timothy Winkler. Introducing OBJ3, in this compendium.

    Google Scholar 

  11. John Guttag. The Algebraic Specification of Abstract Data Types. Acta Informatica Vol. 10, 1978, pp. 27–52.

    Article  MathSciNet  MATH  Google Scholar 

  12. John Guttag and J.J. Horning. Formal Specification As a Design Tool. Proc. of Symp. on Princ. Prog. Lang., ACM, 1980, pp. 251–261.

    Google Scholar 

  13. Gérard Huet and D.C. Oppen. Equations and rewrite rules: a survey. Technical Report CSL-111, SRI International, Jan. 1980.

    Google Scholar 

  14. W.R. Mallgren. Formal Specification of Interactive Graphics Programming Languages. MIT Press, 1982.

    Google Scholar 

  15. Macintosh Programmer’s Guide, also available as Inside Macintosh, Addison-Wiesley, 1985.

    Google Scholar 

  16. José Meseguer and Joseph Goguen. Initiality, induction and computability. In M. Nivat (ed.), Algebraic Methods in Semantics, Cambridge University Press, 1984, pp. 459–541.

    Google Scholar 

  17. Ataru Nakagawa and Kokichi Futatsugi. Stepwise Refinement Process with Modularity: An algebraic Approach. Proc. of 11th Inter. Conf. Soft. Eng., IEEE, 1989, pp. 166–177.

    Google Scholar 

  18. Ataru Nakagawa, Kokichi Futatsugi, S. Tomura and T. Shimizu. Algebraic Specification of Macintosh’s QuickDraw using OBJ2. Proc. of 10th Inter. Conf. Soft. Eng., IEEE, 1988, pp. 334–343.

    Google Scholar 

  19. Special Issue on Rapid Prototyping, ACM Software Engineering Notes, Vol. 7, No. 5, 1982.

    Google Scholar 

  20. J.R. Van Aken. An Efficient Ellipse-Drawing Algorithm. IEEE Computer Graphics and Applications, Vol. 4 No. 9, 1984, pp. 24–35.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SRA, Inc., 1-1-1 Hirakawacho, Chiyoda, Tokyo 102, Japan

    Ataru T. Nakagawa

  2. Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba Science City, Ibaraki 305, Japan

    Kokichi Futatsugi

Authors
  1. Ataru T. Nakagawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kokichi Futatsugi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of California at San Diego, USA

    Joseph Goguen

  2. University of Liverpool, UK

    Grant Malcolm

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Science+Business Media New York

About this chapter

Cite this chapter

Nakagawa, A.T., Futatsugi, K. (2000). Constructing a Graphics System with OBJ2: A Practical Guide. In: Goguen, J., Malcolm, G. (eds) Software Engineering with OBJ. Advances in Formal Methods, vol 2. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6541-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-6541-0_3

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4419-4965-3

  • Online ISBN: 978-1-4757-6541-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation