1,054
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      The Single Transferable Voting System: Functional Decomposition in Formal Specification

      proceedings-article
      Proceedings of the 1st Irish Workshop on Formal Methods (FM)
      Irish Workshop on Formal Methods
      3-4 July 1997
      Bookmark

            Abstract

            A formal specification is presented in the Z language for a simplified version of the Single Transferable Vote form of election. This is a correctness-critical application which is one of a class of related and interesting applications, i.e. electoral models. This specification is based on the form of election defined by the Students' Representative Council of the University of Cape Town , and demonstrates the utility of formal specification for requirements validation. A succinct statement of the algorithm is given using the schema calculus. The specification provides a vehicle for contributing to the current debate on good Z specification style. Brief discussion of specification styles in the literature sets the context for an overview style employed here, one of functional decomposition.

            Content

            Author and article information

            Conference
            September 1997
            September 1997
            : 1-18
            Affiliations
            [0001]School of Mathematical and Information Sciences, Coventry University

            Coventry, West Midlands, UK
            Article
            10.14236/ewic/FM1997.10
            8541d831-aa6a-4704-a1ad-d24e360e8136
            © Michael R. Poppleton. Published by BCS Learning and Development Ltd. Proceedings of the 1st Irish Workshop on Formal Methods, Dublin

            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/

            Proceedings of the 1st Irish Workshop on Formal Methods
            FM
            1
            Dublin
            3-4 July 1997
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1997.10
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article