Show simple item record  

dc.contributor.authorReeves, Steveen_US
dc.date.accessioned2008-03-19T04:58:26Z
dc.date.available2007-04-29en_US
dc.date.available2008-03-19T04:58:26Z
dc.date.issued1996en_US
dc.identifier.citationReeves, S. (1996). A teaching and support tool for building formal models for graphical user-interfaces. In Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE: EP ‘96) (pp. 98-105). Washington, DC, USA: IEEE Computer Society.
dc.identifier.urihttps://hdl.handle.net/10289/82
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 first-order logic 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 first-order logic, namely Tarski's World.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.rights©1996 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
dc.subjectlogicen_US
dc.subjectGUIen_US
dc.subjectgraphical interfacesen_US
dc.subjectformal methodsen_US
dc.titleA teaching and support tool for building formal models of graphical user-interfacesen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1109/SEEP.1996.533987en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record