Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Church A (1941) The calculi of lambda-conversion. In: Annals of mathematical studies, Cambridge, Mass
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
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
Mohaamad M, Alagar V (2010) A component-based development process for trustworthy systems. J Softw Maint Evol, Res Pract, 1–20
Web ontology language. http://www.w3.org/2004/OWL/
Penrose R (1989) The emperor’s new mind. Oxford University Press, London
Stanford University (2009) Protege. Stanford University/University of Manchester, Stanford/Manchester. Available at: http://protege.stanford.edu
Turing A (1937) On computable numbers with an application to Entscheidungsproblem. Proc Lond Math Soc (ser 2), 42:230–265
Turski WM, Maibaum T (1987) The specification of computer programs. Addison-Wesley, Reading
Zimmer JA (1985) Abstraction for programmers. McGraw-Hill, New York
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Alagar, V.S., Periyasamy, K. (2011). Abstraction. In: Specification of Software Systems. Texts in Computer Science. Springer, London. https://doi.org/10.1007/978-0-85729-277-3_4
Download citation
DOI: https://doi.org/10.1007/978-0-85729-277-3_4
Publisher Name: Springer, London
Print ISBN: 978-0-85729-276-6
Online ISBN: 978-0-85729-277-3
eBook Packages: Computer ScienceComputer Science (R0)