| 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 | https://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 | |
