DocumentCode
2490858
Title
A teaching and support tool for building formal models of graphical user-interfaces
Author
Reeves, Steve
Author_Institution
Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand
fYear
1996
fDate
24-27 Jan 1996
Firstpage
98
Lastpage
105
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering: Education and Practice, 1996. Proceedings. International Conference
Conference_Location
Dunedin
Print_ISBN
0-8186-7379-6
Type
conf
DOI
10.1109/SEEP.1996.533987
Filename
533987
Link To Document