Specifying the UQ* editor user-interface with Object-Z

被引：0

作者：

Hussey, A ^{[1
]}

Carrington, D ^{[1
]}

机构：

[1] Univ Queensland, Sch Informat Technol, Software Verificat Res Ctr, Brisbane, Qld 4072, Australia

来源：

ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS | 1997年

关键词：

human-computer interface; specification; formal methods; Object-Z;

D O I：

10.1109/APSEC.1997.640194

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The specification of a user-interface describes user-perceivable functions and information structures in an implementation-independent way. In this paper we specify parr of the user-interface for the UQ* editor. The UQ* editor is part of an integrated programming environment currently under development at the University of Queensland. We use the Object-Z formal specification language. We demonstrate that Object-Z can be useful for abstractly specifying user-interfaces.

引用

页码：374 / 383

页数：10