School of Computing Newcastle University Urban Sciences Building Newcastle upon Tyne UK;
HASLab/INESC-TEC and Department Informatics/University of Minho Campus de Gualtar Braga Portugal;
机译:在以用户为中心的设计中平衡正式和非正式
机译:以用户为中心的自适应移动设备的正式模型
机译:用户界面设计伪像的正式模型
机译:正式建模作为用户中心设计的组件
机译:人为的海事安全设计:用户参与船舶和船舶系统设计的益处和成功因素的透视
机译:基于用户中心设计和医学术语形式理论的患者护理工作站:PEN&PAD和SMK形式主义。
机译:以用户为中心的普适软件设计与开发的形式化建模,知识表示和推理:元审查