Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems - Johnson, Harrison - 1992 () Citation Context ...eractive Systems One of the problems with using formal methods in HCI is that formal notations tend to abstract away from the notion of explicit time...
Methods inherited from java.lang.Objectclone equals finalize getClass hashCode notify notifyAll toString wait wait wait Constructor Details JobSpecification public JobSpecification() Method Details allowTaskPreemption public Boolean allowTaskPreemption() Get if the value is set to True, other high ...
The purpose of this paper is to explore use case maps as a medium for integrating task analysis and usability requirement into the traditional software requirement engineering process. The paper responds to major gaps in user interface specification in HCI, in software development methods for interacti...
Methods inherited from java.lang.Objectclone equals finalize getClass hashCode notify notifyAll toString wait wait wait Constructor Details PoolSpecification public PoolSpecification() Method Details applicationPackageReferences public List applicationPackageReferences() Get when creating a pool, the package's...
Methods inherited from java.lang.Objectclone equals finalize getClass hashCode notify notifyAll toString wait wait wait Constructor Details OperationMetaMetricSpecification public OperationMetaMetricSpecification() Creates an instance of OperationMetaMetricSpecification class....
Applying HCI Principles in AR Systems Design booktitle = "2nd International Workshop on Mixed Reality User Interfaces: Specification, Authoring, Adaptation (MRUI '07)", title = "{A}pplying {HCI}... A Dünser,R Grasset,H Seichter,... 被引量: 83发表: 2007年 Unit: modular development of...
Methods inherited from java.lang.Objectclone equals finalize getClass hashCode notify notifyAll toString wait wait wait Constructor Details OperationMetricSpecificationDefinition public OperationMetricSpecificationDefinition() Creates an instance of OperationMetricSpecificationDefinition class....
In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing... I Maccoll,D Carrington - Wold Congress on Formal Methods in the Development of Computing Systems 被引量: 25发表: 1999年 Testing MATIS...
doi:10.1207/s15327051hci1104_1JohnsonChristopherLawrence Erlbaum Associates, Inc.Humancomputer InteractionC.W. Johnson. Literate specification: Using design rationale to support formal methods in the development of human-machine interfaces. Human Computer Interaction Journal , 1996. Acceped and to appear ...
Methods inherited from java.lang.Objectclone equals finalize getClass hashCode notify notifyAll toString wait wait wait Constructor Details PoolSpecification public PoolSpecification() Method Details applicationPackageReferences public List applicationPackageReferences() Get when creating a pool, the package's...