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

dc.contributor.author	Reeves, Steve
dc.date.accessioned	2008-10-21T00:28:22Z
dc.date.available	2008-10-21T00:28:22Z
dc.date.issued	1995-08
dc.identifier.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.	en_US
dc.identifier.issn	1170-487X
dc.identifier.uri	http://hdl.handle.net/10289/1098
dc.description.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.	en_US
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.publisher	University of Waikato, Department of Computer Science	en_US
dc.relation.ispartofseries	Computer Science Working Papers
dc.subject	computer science	en_US
dc.title	A teaching and support tool for building formal models of graphical user-interfaces	en_US
dc.type	Working Paper	en_US
uow.relation.series	95/21