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

Simple item page
dc.contributor.authorReeves, Steve
dc.date.accessioned2008-10-21T00:28:22Z
dc.date.available2008-10-21T00:28:22Z
dc.date.issued1995-08
dc.description.abstractIn 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.mimetypeapplication/pdf
dc.identifier.citationReeves, 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.issn1170-487X
dc.identifier.urihttps://hdl.handle.net/10289/1098
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_US
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_US
dc.titleA teaching and support tool for building formal models of graphical user-interfacesen_US
dc.typeWorking Paperen_US
uow.relation.series95/21
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
uow-cs-wp-1995-21.pdf
Size:
1.46 MB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: uow-cs-wp-1995-21.pdf
Size: 1.46 MB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.79 KB
Kind: License
Collections
1995 Working Papers