Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Finding usability problems through heuristic evaluation
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
interactions
DIS '00 Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques
From use to presence: on the expressions and aesthetics of everyday computational things
ACM Transactions on Computer-Human Interaction (TOCHI)
Symbolic Model Checking
Using Hybrid Automata to Support Human Factors Analysis in a Critical System
Formal Methods in System Design
Model Checking Interactor Specifications
Automated Software Engineering
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Understanding experience in interactive systems
DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
Adaptive navigation support with public displays
Proceedings of the 10th international conference on Intelligent user interfaces
Technology as Experience
Formal modeling and quantitative analysis of KLAIM-based mobile systems
Proceedings of the 2005 ACM symposium on Applied computing
Immersive video as a rapid prototyping and evaluation tool for mobile and ambient applications
Proceedings of the 8th conference on Human-computer interaction with mobile devices and services
Automated Software Engineering
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Analysing user confusion in context aware mobile applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
Exploring an Option Space to Engineer a Ubiquitous Computing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Design, verification and prototyping the next generation of desktop grid middleware
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
A publication-subscription interaction schema for desktop grid computing
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
The engineering of ubiquitous computing systems provides important challenges. Not least among these is the need to understand how to implement designs that create a required experience for users. The paper explores a particular class of such systems for built environments. In particular it is concerned with the capture of experience requirements and production of prototypes that create experience. The aim is to develop methods and tools for such environments to enable the creation of particular sorts of experience in users. An approach that combines the use of scenarios, personae and snapshots with the use of prototypes and models is described. The technique aims to elicit an understanding of the required experience of the system and then create a design that satisfies the requirements.