A teaching and support tool for building formal models of graphical user-interfaces
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: http://hdl.handle.net/10289/1098
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.
University of Waikato, Department of Computer Science
- 1995 Working Papers