Sciweavers

ISWC
2003
IEEE
14 years 5 months ago
An Extended Menu Navigation Interface Using Multiple Pressure-Sensitive Strips
We present extensions and modifications that we have made to a cursorless menu navigation interface that is controlled by multiple pressure-sensitive linear strips. Our approach i...
Gábor Blaskó, Steven Feiner
ZUM
2005
Springer
134views Formal Methods» more  ZUM 2005»
14 years 5 months ago
Requirements as Conjectures: Intuitive DVD Menu Navigation
In this paper we use Z to capture the requirements for an ‘intuitive’ menu navigation system as a series of conjectures that should hold. We use those requirements to investiga...
Jemima Rossmorris, Susan Stepney