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

      Using Graphical Icons to Build Z Specifications

      proceedings-article
      ,
      Proceedings of the 2nd BCS-FACS Northern Formal Methods (FM)
      Northern Formal Methods
      14-15 July 1997
      Bookmark

            Abstract

            The Z specification language is now widely taught in universities [1]. However, many novices find that, although they may understand specifications written by other people, they are unable to produce their own, satisfactorily. One of the reasons is the lack of suitable tools for these novices to learn Z systematically. Another is the mathematical nature of the syntax of the language. The same problems can be found when one considers the poor 𥀜take up𥀝 of formal methods in industry. This paper describes a new tool called VisualiZer which can allow users to write Z specifications by creating and manipulating visual entities without worrying about the possibly, daunting, mathematical symbols. Furthermore, in order to help users’ understanding of the concepts behind Z, the tool is designed around an environment with graphical on-line help facilities to guide users through the process of building correct and complete Z specifications in a methodical way.

            Content

            Author and article information

            Conference
            July 1997
            July 1997
            : 1-15
            Affiliations
            [0001]Department of Computer Science, University of Sheffield

            Regent Court, 211 Portobello Street, Sheffield S1 4DP, UK
            Article
            10.14236/ewic/FA1997.18
            09a7ac45-a516-491c-9484-0571bf23a827
            © Chih Nam Yap et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

            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 2nd BCS-FACS Northern Formal Methods
            FM
            2
            Ilkley
            14-15 July 1997
            Electronic Workshops in Computing (eWiC)
            Northern Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1997.18
            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