Skip to main content
SpringerLink
Log in
Book cover

Specification of Software Systems pp 47–57Cite as

Abstraction

  • Chapter

  • 2285 Accesses

Part of the book series: 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. 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.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.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

Learn about institutional subscriptions

References

  1. Church A (1941) The calculi of lambda-conversion. In: Annals of mathematical studies, Cambridge, Mass

    Google Scholar 

  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. 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. Mohaamad M, Alagar V (2010) A component-based development process for trustworthy systems. J Softw Maint Evol, Res Pract, 1–20

    Google Scholar 

  5. Web ontology language. http://www.w3.org/2004/OWL/

  6. Penrose R (1989) The emperor’s new mind. Oxford University Press, London

    Google Scholar 

  7. Stanford University (2009) Protege. Stanford University/University of Manchester, Stanford/Manchester. Available at: http://protege.stanford.edu

    Google Scholar 

  8. Turing A (1937) On computable numbers with an application to Entscheidungsproblem. Proc Lond Math Soc (ser 2), 42:230–265

    Article  Google Scholar 

  9. Turski WM, Maibaum T (1987) The specification of computer programs. Addison-Wesley, Reading

    Google Scholar 

  10. Zimmer JA (1985) Abstraction for programmers. McGraw-Hill, New York

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Computer Science and Software Eng., Concordia University, St. Catherine Street West 1515, H3G 1M8, Montreal, Québec, Canada

    Prof. V. S. Alagar

  2. Computer Science Department, University of Wisconsin-La Crosse, State Street 1725, 54601, La Crosse, WI, USA

    Prof. K. Periyasamy

Authors
  1. Prof. V. S. Alagar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Prof. K. Periyasamy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. S. Alagar .

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation