共 4 条
[1]
人机界面设计与开发工具.[M].程景云等 编著.电子工业出版社.1994,
[2]
[3]
[4]
图形用户界面的形式化描述方法
被引：8
作者：
于卫
楼顺天
杨万海
机构：
[1] 西安电子科技大学电子工程学院
来源：
关键词：
人机界面,图形用户界面,有限自动机,回溯自动机;
D O I：
暂无
中图分类号：
TP311 [程序设计、软件工程];
学科分类号：
081205 [计算机软件];
摘要：
讨论了人机界面的分类及特点，介绍了图形用户界面的重要性及实用性；引入了回溯自动机作为定义人机界面的一种抽象数学模型，并采用该模型给出了图形用户界面的形式化描述
引用
收藏
页数：4
相关论文