| dc.contributor.author | Reeves, Steve | en_US |
| dc.date.accessioned | 2008-03-19T04:58:26Z | |
| dc.date.available | 2007-04-29 | en_US |
| dc.date.available | 2008-03-19T04:58:26Z | |
| dc.date.issued | 1996 | en_US |
| dc.identifier.citation | Reeves, 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.uri | https://hdl.handle.net/10289/82 | |
| 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 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.mimetype | application/pdf | |
| dc.language.iso | en | |
| 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.subject | logic | en_US |
| dc.subject | GUI | en_US |
| dc.subject | graphical interfaces | en_US |
| dc.subject | formal methods | en_US |
| dc.title | A teaching and support tool for building formal models of graphical user-interfaces | en_US |
| dc.type | Conference Contribution | en_US |
| dc.identifier.doi | 10.1109/SEEP.1996.533987 | en_US |
