摘要
在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。
Research and progress on user interface models and formal specification techniques are described, based on the discussion of interactive models, control and communication within user interfaces. The main emphasis refers to those issues on the model and description of graphical user interfaces.
出处
《西北大学学报（自然科学版）》
CAS
CSCD
北大核心
1997年第5期369-374,共6页
Journal of Northwest University（Natural Science Edition）
基金
国家自然科学基金
中国科学院软件研究所开放实验室基金
关键词
用户界面模型
规格说明
交互控制与通信
user interface model
specification
interactive control and communication
