5075 search results - page 156 / 1015 » Model-based interface development |
133
click to vote
HICSS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes a generic approach to the development of a virtual reality-based user interface for a collection of digital documents. We emphasise the role of intrinsic inte...
127
click to vote
ASSETS
2007
ACM
15 years 7 months ago
2007
ACM
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
117
click to vote
IFM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
124
click to vote
PADL
2000
Springer
15 years 6 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
129
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...