Sciweavers

424 search results - page 28 / 85
» Methods for Applying Activity Theory to HCI Design
Sort
View
CHI
2005
ACM
16 years 2 months ago
Tool for accurately predicting website navigation problems, non-problems, problem severity, and effectiveness of repairs
The Cognitive Walkthrough for the Web (CWW) is a partially automated usability evaluation method for identifying and repairing website navigation problems. Building on five earlie...
Marilyn Hughes Blackmon, Muneo Kitajima, Peter G. ...
UTP
2010
15 years 9 days ago
Unifying Theories in Isabelle/HOL
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkha...
SEFM
2007
IEEE
15 years 8 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
IWPC
2002
IEEE
15 years 6 months ago
Theory-based Analysis of Cognitive Support in Software Comprehension Tools
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
Andrew Walenstein
CHI
2007
ACM
16 years 2 months ago
Sustainable interaction design: invention & disposal, renewal & reuse
This paper presents the perspective that sustainability can and should be a central focus of interaction design--a perspective that is termed Sustainable Interaction Design (SID)....
Eli Blevis