|
|||||
|
|
| 图形用户界面的形式化描述方法 | |
| 引用本文： | 于卫. 图形用户界面的形式化描述方法[J]. 西安电子科技大学学报(自然科学版), 1998, 25(4): 426-429 |
| 作者姓名： | 于卫 |
| 作者单位： | 西安电子科技大学电子工程学院 |
| 摘 要： | 讨论了人机界面的分类及特点，介绍了图形用户界面的重要性及实用性；引入了回溯自动机作为定义人机界面的一种抽象数学模型，并采用该模型给出了图形用户界面的形式化描述 |
| 关 键 词： | 人机界面 图形用户界面 有限自动机 回溯自动机 |
A formal description of graphic user interface |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ | |