Program derivation: the development of programs from specifications
Program derivation: the development of programs from specifications
Formal methods in human-computer interaction
Formal methods in human-computer interaction
A state model of direct manipulation in interactive systems
Formal methods in human-computer interaction
Structuring dialogues using CSP
Formal methods in human-computer interaction
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
The Science of Programming
Hi-index | 0.00 |
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 predicate calculus 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 predicate logic, namely Tarski's World.