skip to main content
10.1145/199688.199831acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
Article
Free Access

Introducing formal methods through role-playing

Published:15 March 1995Publication History

ABSTRACT

By acting as a client, the instructor in a formal methods course can interact with students to develop general attitudes and skills, particularly modeling skills. The students learn to appreciate that formal methods comprise a range of tools and ideas which can greatly enhance software development at all stages, especially in requirements capture. A realistic case study is used which does not depend on an over-simplified file processing system.

References

  1. 1.Bottaci, L. & Jones, J.: Formal Specification Using Z A Modelling Approach, International Thomson Publishing, 1995.Google ScholarGoogle Scholar
  2. 2.Bowen, J.P. & Hinchey, M.G.: Seven More Myths of Formal Methods, Technical Report PRG-TR-7-94, Programming Research Group, Oxford University Computing Laboratory, June 1994. Revised version to appear in IEEE Software; also appears in a shortened form in {12}, pp 105-117. Google ScholarGoogle Scholar
  3. 3.Dean, C.N.: The Essence of Discrete Mathematics, Prentice Hall Essence of Computing Series, 1996 Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.Dehbonei, B. & Mejia, E: Formal Development of Safety-Critical Software Systems in Railway Signalling, In {8}.Google ScholarGoogle Scholar
  5. 5.Dehbonei, B. & Mejia, E: Formal Methods in the Railway Signalling Industry, In { 12}, pp 26-34. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.Garlan, D.: Integrating Formal Methods into a Professional Master of Software Engineering Course, In Bowen, J.R & Hall, J.A. (editors) Z User Workshop, Cambridge, 1994, Proceedings of the 8th Z User Meeting, 29-30 June 1994, Cambridge, UK, Springer-Verlag Workshops in Computing, 1994, pp 71-85.Google ScholarGoogle Scholar
  7. 7.Hall, J.A.: Seven Myths of Formal Methods, IEEE Software, 7(5):11-19, September 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.Hinchey, M.G. & Bowen, J.R (editors): Applications of Formal Methods, Prentice Hall International Series in Computer Science, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.Hinchey, M.G. & Jarvis, S.A.: The Essence of Z, Prentice Hall Essence of Computing Series, 1996Google ScholarGoogle Scholar
  10. 10.King, T." Formalising British Rail's Signalling Rules,Google ScholarGoogle Scholar
  11. 11.Hansen, K.M.: Validation of a Railway Interlocking Model, In {12}, pp 582-601. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.Naftalin, M., Denvir, T. & Bertran, M, (editors): Industrial Benefits of Formal Methods, Proceedings of FME'94, Springer-Verlag LNCS 873, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13.Nicholls, J. et al.: The ZStandard-- Version 1.0 Available from [email protected], ox. ac. uk.Google ScholarGoogle Scholar
  14. 14.Plat, N., Durr, E.H. & de Boer, M.: CombiCom. Tracking and Tracing Rail Traffic using VDM++, In {8}.Google ScholarGoogle Scholar
  15. 15.Simpson, A.: A Formal Specification of an Automatic Train Protection System, In {12}, pp 602-617. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16.Young, W.D.: Modeling and Verification of a Simple Real-Time Railroad Gate Controller, In {8}.Google ScholarGoogle Scholar

Index Terms

  1. Introducing formal methods through role-playing

      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
      • Published in

        cover image ACM Conferences
        SIGCSE '95: Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
        March 1995
        436 pages
        ISBN:089791693X
        DOI:10.1145/199688
        • Chairman:
        • Cary Laxer,
        • Editors:
        • Curt M. White,
        • James E. Miller,
        • Judy Gersting

        Copyright © 1995 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 15 March 1995

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

        Acceptance Rates

        Overall Acceptance Rate1,595of4,542submissions,35%

      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!