您的位置： 专家智库 > >

张高

作品数：3 被引量：27H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 3篇自动化与计算...

主题

  • 2篇用户
  • 2篇用户界面
  • 1篇多AGENT
  • 1篇多模式
  • 1篇多通道
  • 1篇多通道用户界...
  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化描述
  • 1篇软件模型
  • 1篇人-机交互
  • 1篇人机
  • 1篇人机交互
  • 1篇开发方法
  • 1篇开发环境
  • 1篇PC机

机构

  • 3篇中国科学院软...
  • 1篇西北大学

作者

  • 3篇张高
  • 2篇戴国忠
  • 1篇王宏安
  • 1篇关志伟
  • 1篇程成
  • 1篇聂志明
  • 1篇朱军
  • 1篇李玉国
  • 1篇华庆一
  • 1篇方亭
  • 1篇栗阳
  • 1篇王军

传媒

  • 1篇软件学报

年份

  • 1篇2000
  • 2篇1999
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
交互式用户界面的形式化描述与性质验证被引量：27
1999年
随着人机交互技术的发展，计算机和用户之间的接口越来越自然，但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段，缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面的研究成果，归纳出了一个交互式用户界面的通用模型．为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS（languageoftemporalorderingspecification）和基于动作的时序逻辑ACTL（actionbasedtemporallogical）对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义．
朱军张高华庆一戴国忠
关键词：用户界面形式化方法
基于PC机和多功能笔的多模式人－机交互研究
戴国忠王宏安关志伟栗阳张高聂志明李玉国王军程成方亭
在将笔设备引入到计算机应用领域之后，基于笔交互的计算机(pen-based computer)作为一种重要的新的计算机工具而出现，是用户通过笔来实现自由交互成为可能。研究基于多功能笔的文稿编辑，实现以数字形式存储、显示和...
关键词：
关键词：PC机人机交互
多通道用户界面开发方法和环境
该文的目标是在充分讨论多通道用户界面的特点和关键技术的基础上,多通道用户界面的定义和性质是讨论其开发方法和相关技术.围绕这一目标,该文就以下几方面展开了讨论:1.多通道用户界面的研究概况;2.多通道用户界面的开发方法;3...
张高
关键词：多通道用户界面开发方法开发环境
全选 清除 导出
共1页<1>
聚类工具0