Specification Methods of Multimodal Interactive Systems  Home/Search
Context
Related
| caltech.edu/~chen/papers/...specify.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: caltech.edu/~chen/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A Specification Method provides interface designers a model or notation to describe and record their design philosophy to facilitate evaluations as early as possible in pursuit of an optimum interface option. A number of formal notations have been developed to assist the description or analysis of interactive systems. This paper first simply reviews a subset of these notations from the perspective of system and user respectively, then detailedly illustrates two notations commonly used to... (Update)
Active bibliography (related documents): More All
0.5: A Comparison of Approaches for Specifying MultiModal.. - Joelle Coutaz Fabio (1993) (Correct)
0.5: Using Formal Specifications in the Design of a Human-Computer.. - Robert Jacob (1983) (Correct)
0.3: Formal Framework and Necessary Properties of the.. - Faconti.. (1996) (Correct)
Similar documents based on text: More All
0.1: Using Software Specification Methods for Measurement.. - Part Structured (Correct)
0.1: Two Case Studies of Software Architecture for.. - Gourdol, Nigay.. (1992) (Correct)
0.1: A Taxonomy for Multimedia and Multimodal User Interfaces - Coutaz, Caelen (1991) (Correct)
BibTeX entry: (Update)
@misc{ -unknown,
title = "Unknown",
url = "citeseer.ist.psu.edu/602083.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
484 A Calculus of Communicating Systems (context) - Milner - 1980
407 Introduction to the ISO Specification Language LOTOS (context) - Bolognesi, Brinskma - 1987
318 The Psychology of Human-Computer Interaction (context) - Card, Moran et al.
63 Creating User Interfaces By Demonstration (context) - Myers - 1988
51 Developing User Interfaces: Ensuring Usability Through Produ.. - Hix, Hartson - 1993
42 The UAN: A User-Oriented Representation for Direct Manipulat.. (context) - Hartson, Siochi et al. - 1990
36 Task Action Grammar: A Model of the Mental Representation of.. (context) - Payne, Green - 1986
34 A Specification Language for Direct Manipulation User Interf.. - Jacob - 1986
3 A Comparison of Approaches for Specifying Multimodal Interac.. - Coutaz, Paterno et al. - 1993
2 Survey and Examples of Specification Techniques for User-Com.. (context) - Jacob - 1986
2 The Lotosphere Integrated Environment (context) - Van Eijk - 1991
1 Scientific Publishing House (context) - Shihai, Interface - 1994
1 for Specifying Interfaces with Multiple Input Devices and Pa.. (context) - Dievendorf, Brock et al. - 1995
1 A Case Study on Applying Extended Task-Action Grammar (context) - De Haan, Muradin - 1992
1 Analytic Tools for Human Factors of Software (context) - Reisner
1 Design of Interactive System---a Formal Approach (context) - Moore, Whinston - 1992
Documents on the same site (http://www.cs.caltech.edu/~chen/papers.html): More
Path Jacobians: Theory and Applications - Chen, Arvo (1998) (Correct)
JB-UIDS - An interactive UIMS based on OSF/Motif - Chen, Sun, Dong (Correct)
An Architecture for Multimodal Multi-Agent Interactive.. - Chen, Luo, Lin, Jiang, Dong (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC