skip to main content
column

Abstraction, model checking and software correctness

Published:01 June 2008Publication History
Skip Abstract Section

Abstract

I hope you were able to read the contribution from Maria and Gary Litvin, Pre-college Math Concepts vs Skills - Preparation for Computing Studies, in my last column. This article addressed one of the most important issues our discipline faces, the preparation and motivation of young people to pursue a career in computing. To repeat, here is a quote from the back cover of their book for high school students Mathematics for the Digital Age and Programming in Python: "The vision behind this book is that math and computer science should help each other. A programmer needs to be comfortable with abstractions, and that is precisely what math teaches. Computer science reciprocates by providing models and hands-on exercises that help clarify and illustrate more abstract math." This columns contribution "Reflections on Teaching Abstraction and Other Soft Ideas" by Orit Hazzan, which can be found on page?? of this issue of Inroads, further reinforces the relevance of abstraction for software developers.

Index Terms

  1. Abstraction, model checking and software correctness

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGCSE Bulletin
          ACM SIGCSE Bulletin  Volume 40, Issue 2
          June 2008
          146 pages
          ISSN:0097-8418
          DOI:10.1145/1383602
          Issue’s Table of Contents

          Copyright © 2008 Author

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 June 2008

          Check for updates

          Qualifiers

          • column
        • Article Metrics

          • Downloads (Last 12 months)1
          • Downloads (Last 6 weeks)1

          Other Metrics

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!