Model-Based Design of User Interfaces Using Object-Z

Andrew Hussey, David A. Carrington. Model-Based Design of User Interfaces Using Object-Z. In Jean Vanderdonckt, Angel R. Puerta, editors, Computer-Aided Design of User Interfaces II, Proceedings of the Third International Conference of Computer-Aided Design of User Interfaces, October 21-23, 1999, Louvain-la-Neuve, Belgium. pages 43-56, Kluwer, 1999.

Abstract

Abstract is missing.