Skip to main content
SpringerLink
Log in

Abstraction

  • Chapter
Specification of Software Systems

Part of the book series: Graduate Texts in Computer Science ((TCS))

Abstract

The concept of abstraction is imprecise. It cannot possibly be defined, but the notion of abstraction can be explained, illustrated, modeled, and understood. The goal of this chapter is to discuss the different kinds of abstraction that have been proposed in mathematics and computer science and to emphasize the necessity of abstractions and difficulty of bringing out abstraction for software engineering.

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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. A. Church, “The Calculi of Lambda-conversion,” Annals of Mathematical Studies, Cambridge, MA, 1941.

    Google Scholar 

  2. M. Jackson, “Description is Our Business,” Invited Talk, VDM’91 Formal Software Development Methods; published as S. Prehn and W.J. Toetenel (Eds.), Lecture Notes in Computer Science, Vol. 551, Springer-Verlag, Noordwijkerhout, The Netherlands, October 1991.

    Google Scholar 

  3. H. Lewis and C. Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, Englewood Cliffs, NJ, 1984.

    Google Scholar 

  4. R. Penrose, The Emperor’s New Mind, Oxford University Press, Oxford, England, 1989.

    Google Scholar 

  5. A. Turing, “On Computable Numbers, with an Application to Entscheidungsproblem,” Proceedings of the London Mathematical Society (ser. 2), Vol. 42, 1937, pp. 230–265.

    Google Scholar 

  6. W.M. Turski and T. Maibaum, The Specification of Computer Programs, Addison-Wesley Publishing Company, Reading, MA, 1987.

    Google Scholar 

  7. J.A. Zimmer, Abstraction for Programmers, McGraw-Hill, New York, NY, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Concordia University, Montreal, Quebec, A3G 1M8, Canada

    V. S. Alagar

  2. Department of Computer Science, University of Manitoba, Winnipeg, Manitoba, R3T 2N2, Canada

    K. Periyasamy

Authors
  1. V. S. Alagar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. Periyasamy
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer Science+Business Media New York

About this chapter

Cite this chapter

Alagar, V.S., Periyasamy, K. (1998). Abstraction. In: Specification of Software Systems. Graduate Texts in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2920-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-2920-7_4

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4757-2922-1

  • Online ISBN: 978-1-4757-2920-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation