Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1995 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1995 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A teaching and support tool for building formal models of graphical user-interfaces

      Reeves, Steve
      Thumbnail
      Files
      uow-cs-wp-1995-21.pdf
      1.457Mb
      Find in your library  
      Citation
      Export citation
      Reeves, S.(1995) A teaching and support tool for building formal models of graphical user-interfaces. (Working paper 95/21). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/1098
      Abstract
      In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes—the teaching of predicate calculus and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching predicate logic, namely Tarski's World.
      Date
      1995-08
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      95/21
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 1995 Working Papers [32]
      Show full item record  

      Usage

      Downloads, last 12 months
      92
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement