8621 search results - page 69 / 1725 » Interaction Design |
ACMDIS
2004
ACM
14 years 1 months ago
2004
ACM
DSVIS
1998
Springer
14 years 6 days ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
INTERACT
2003
13 years 9 months ago
2003
: New Information Technologies (IT) offer a new way for teaching and learning. Rather than simply duplicate old learning materials and make them correspond to the new IT tools, it ...
ACMSE
2008
ACM
13 years 10 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
ECEASST
2008
13 years 8 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...