Title :
A teaching and support tool for building formal models of graphical user-interfaces
Author_Institution :
Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand
Abstract :
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
Keywords :
computer science education; courseware; formal logic; formal specification; graphical user interfaces; teaching; CAI; Tarski World; first order logic; formal models; formal specification; formal textual description; graphical user interfaces; software system; support tool; teaching tool; Buildings; Computer science; Displays; Education; Formal specifications; Logic design; Software engineering; Software maintenance; Software safety; Software systems;
Conference_Titel :
Software Engineering: Education and Practice, 1996. Proceedings. International Conference
Conference_Location :
Dunedin
Print_ISBN :
0-8186-7379-6
DOI :
10.1109/SEEP.1996.533987
