论文信息 - A teaching and support tool for building formal models of graphical user-interfaces

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

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.

Steve Reeves | S. Reeves

[1] Yuri Gurevich,et al. Logic in Computer Science , 1993, Current Trends in Theoretical Computer Science.

[2] Antoni Diller,et al. Z - an introduction to formal methods , 1990 .

[3] R. Geoff Dromey,et al. Program derivation - the development of programs from specifications , 1990, International computer science series.

[4] David Gries,et al. The Science of Programming , 1981, Text and Monographs in Computer Science.

[5] C. Pollard,et al. Center for the Study of Language and Information , 2022 .

[6] Michael D. Harrison,et al. Formal methods in human-computer interaction , 1990 .

[7] Heather Alexander,et al. Structuring dialogues using CSP , 1990 .

[8] Richard Bornat,et al. A Review of Several Programs for the Teaching of Logic , 1993, Comput. J..

[9] Michael D. Harrison,et al. A state model of direct manipulation in interactive systems , 1990 .

[10] J. Barwise,et al. The language of first-order logic , 1991 .