机译：图形用户界面的控件和动作之间的数据依赖关系分析的形式模型
机译：用于减少复杂系统故障处理中的错误的用户界面的形式化建模和重新配置
机译：用户界面设计伪像的正式模型
机译：用于输入-输出位置转换Petri网模型的动画图形用户界面生成器框架
机译：一种基于图形用户界面（GUI）输入的算法，可以自动生成用于发布捕获研究的多状态模型。
机译：用于计算机科学和软件工程教育中网络学习环境的用户界面（UI）和用户体验（UX）评估框架
机译：用户界面中输入模式融合的形式框架和必要属性
机译：对象用户界面（OUI）用户手册：环境资源建模框架
