skip to main content
article
Free Access

Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum: a survey

Authors Info & Claims
Published:01 September 1995Publication History
Skip Abstract Section

Abstract

This paper reports on a survey related to current views concerning the feasibility and importance of teaching formal methods of software development at the undergraduate level. Principle areas of interest considered include formal logic, formal specification, and formal proofs of correctness of programs. After alluding to several points of contact with current literature on this topic, the paper reports on a questionnaire designed by the authors that was mailed to computer science departments of selected colleges and universities in the United States and Canada. The principle goal of the survey is to determine attitudes of computer science faculty concerning the teaching of formal methods at the undergraduate level.

References

  1. [1] Richard Denman, David Z.A. Naumann, Walter Potter, and Gary Richter. "Derivation of Programs for Freshmen", SIGCSE Bulletin, 26(1): 116-120, March 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. [2] E.W. Dijkstra et al. "A Debate On Teaching Computing Science", Comm. ACM, 32(12):1397- 1414, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. [3] Kung-Kiu Lau, Vicky J. Bush, and Pete J. Jinks. "Towards an Introductory Formal Programming Course", SIGCSE Bulletin, 26(1): 121-125, March 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. [4] John T. Paxton, Rockerd J. Ross, and J. Denbigh Starkey. "A Methodology for Teaching an Integrated Computer Science Curriculum", SIGCSE Bulletin, 26(1):1-5, March 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum: a survey

          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 27, Issue 3
            Sept. 1995
            66 pages
            ISSN:0097-8418
            DOI:10.1145/209849
            Issue’s Table of Contents

            Copyright © 1995 Authors

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 September 1995

            Check for updates

            Qualifiers

            • article

          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!