skip to main content
article
Free Access

Experience integrating a formal method into a software engineering course

Published:01 March 1996Publication History
First page image

References

  1. 1 Craigen, Dan, Susan Gerhart, and Ted Raison, "An International Survey of Industrial Applications of Formal Methods", Volume I and Ii, National Institute of Standards and Technology, GCR 93/626, March 1993.Google ScholarGoogle Scholar
  2. 2 Denning, P.J., "Educating a New Engineer", Comm. ACM, Vol. 35, No. 12, December 1992, pp. 82-97. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Dijkstra, E.W., "On the Cruelty of Really Teaching Computing Science", Comm. ACM, Vol. 32, No. 12, December 1989, pp. 1398-1404. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Fraser, M.D., K. Kumar, V.K. Vaishnavi, "Strategies for Incorporating Formal Specifications in Software Development", Comm. ACM, VoI. 37, No. I0, October 1994, pp. 74-86. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Gries, D., "Teaching Calculation and Discrimination: A More Effective Curriculum", Comm. ACM, Vol. 34, No. 3, March 1991, pp. 44-55. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Hall, A., "Is Software Engineering?", Proceedings of the Software Engineering Education Conference, Springer- Verlag, pp. 5-7. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 Owre, S., N. Shankar, and J.M. Rushby. User Guide for the PVS Specification and Verification System, Computer Science Laboratory, SRI International, Menlo Park, CA, March 1993.Google ScholarGoogle Scholar
  8. 8 Parnas, D.L., "Education for Computing Professionals", IEEE Computer, Vol. 23, No. 1, January 1990, pp. 17-22. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 Palmer, T.V. and J.C. Pleasant, "Attitudes Toward the Teaching of Formal Methods of Software Development in the Undergraduate Computer Science Curriculum A Survey", SIGCSE Bulletin, Vol. 27, No. 3, September 1995, pp. 53-59. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 Shaw. M., "Prospects for an Engineering Discipline of Software", IEEE Computer, November 1990, pp. 15-24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11 Sommerville, Ian, Software Engineering, 4th edition, Addison-Wesley Publishing Company, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 Spivey, J.M., The Z Notation: A Reference Manual, 2nd edition, Prentice Hall International Series in Computer Science, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Experience integrating a formal method into a software engineering course

      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 28, Issue 1
        March 1996
        379 pages
        ISSN:0097-8418
        DOI:10.1145/236462
        Issue’s Table of Contents
        • cover image ACM Conferences
          SIGCSE '96: Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
          March 1996
          447 pages
          ISBN:089791757X
          DOI:10.1145/236452

        Copyright © 1996 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 March 1996

        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!