Blog
About

132
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

      ,

      3rd Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      1st - 2nd July 1999

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Proof-based development of specifications with KIDS/VDM

           Yves Ledru (1994)
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Prototyping VDM specifications with KIDS

              Bookmark

              Author and article information

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

              Cowcaddens Road, Glasgow G4 0BA
              Article
              10.14236/ewic/IWFM1999.9
              © 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