• V. S. Alagar
  • K. Periyasamy
Part of the Graduate Texts in Computer Science book series (TCS)


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.


Turing Machine Data Abstraction Software Development Process Abstract Machine Abstraction Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. Church, “The Calculi of Lambda-conversion,” Annals of Mathematical Studies, Cambridge, MA, 1941.Google Scholar
  2. [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. [3]
    H. Lewis and C. Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, Englewood Cliffs, NJ, 1984.Google Scholar
  4. [4]
    R. Penrose, The Emperor’s New Mind, Oxford University Press, Oxford, England, 1989.Google Scholar
  5. [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. [6]
    W.M. Turski and T. Maibaum, The Specification of Computer Programs, Addison-Wesley Publishing Company, Reading, MA, 1987.Google Scholar
  7. [7]
    J.A. Zimmer, Abstraction for Programmers, McGraw-Hill, New York, NY, 1985.Google Scholar

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • V. S. Alagar
    • 1
  • K. Periyasamy
    • 2
  1. 1.Department of Computer ScienceConcordia UniversityMontrealCanada
  2. 2.Department of Computer ScienceUniversity of ManitobaWinnipegCanada

Personalised recommendations