• V. S. Alagar
  • K. Periyasamy
Part of the 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. We begin this chapter by discussing different kinds of abstractions that have been proposed in mathematics and computer science. Next, we bring out the necessity of abstraction for software engineering and suggest different kinds of abstractions to learn for formalizing software development activities.


Turing Machine Data Abstraction Software Development Process Abstract Machine Lambda Calculus 
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.


  1. 1.
    Church A (1941) The calculi of lambda-conversion. In: Annals of mathematical studies, Cambridge, Mass Google Scholar
  2. 2.
    M. Jackson, Description is our business. Invited talk. In: VDM ’91 Formal Software Development Methods; published as Prehn S, Toetenel WJ (eds) (1991) In: Lecture notes in computer science, vol 551, Springer, Noordwijkerhout Google Scholar
  3. 3.
    Mohammad M (2009) A formal component-based software engineering approach for developing trustworthy systems. PhD thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada Google Scholar
  4. 4.
    Mohaamad M, Alagar V (2010) A component-based development process for trustworthy systems. J Softw Maint Evol, Res Pract, 1–20 Google Scholar
  5. 5.
    Web ontology language.
  6. 6.
    Penrose R (1989) The emperor’s new mind. Oxford University Press, London Google Scholar
  7. 7.
    Stanford University (2009) Protege. Stanford University/University of Manchester, Stanford/Manchester. Available at: Google Scholar
  8. 8.
    Turing A (1937) On computable numbers with an application to Entscheidungsproblem. Proc Lond Math Soc (ser 2), 42:230–265 CrossRefGoogle Scholar
  9. 9.
    Turski WM, Maibaum T (1987) The specification of computer programs. Addison-Wesley, Reading Google Scholar
  10. 10.
    Zimmer JA (1985) Abstraction for programmers. McGraw-Hill, New York Google Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Dept. Computer Science and Software Eng.Concordia UniversityMontrealCanada
  2. 2.Computer Science DepartmentUniversity of Wisconsin-La CrosseLa CrosseUSA

Personalised recommendations