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

Reeves, Steve

doi:10.1109/SEEP.1996.533987

Files

content.pdf

841.3Kb

DOI

10.1109/SEEP.1996.533987

Citation

Export 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.

Permanent Research Commons link: https://hdl.handle.net/10289/82

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.

Date

1996

Type

Conference Contribution

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.

Collections

Computing and Mathematical Sciences Papers [1170]