256
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      The Role of Proof in a Formal Specification of the Speedway Rulebook

      proceedings-article

      ,

      3rd Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      1st - 2nd July 1999

      Bookmark

            Abstract

            Whilst some undergraduate introductions to formal methods play down the role of proof, others have tended to emphasize it as the true payback of using formal methods in the first place. This paper describes how a sports application can be used to illustrate many of these paybacks in a readily understandable way. It illustrates the difficulty of arriving at a formal specification of a complex specification, which is often a collaborative effort between at least two parties, and how this affects the chosen development method. The maintenance of specifications is also considered, in the light of frequent and complex rule changes, in some cases, as a result of “case law” during mid-season.

            Content

            Author and article information

            Conference
            July 1999
            July 1999
            : 1-10
            Affiliations
            [0001]Department of Building & Surveying, Glasgow Caledonian University

            Cowcaddens Road, Glasgow G4 0BA
            Article
            10.14236/ewic/IWFM1999.9
            4baf0bdf-4427-47fa-93d8-e4d94ea32a96
            © Helen Lowe et al. Published by BCS Learning and Development Ltd. 3rd Irish Workshop on Formal Methods

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            3rd Irish Workshop on Formal Methods
            IWFM
            3
            Galway, Ireland
            1st - 2nd July 1999
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article