8 search results - page 1 / 2 » Some Considerations on the Usability of Interactive Provers |
151
Voted
AISC
2010
Springer
15 years 18 days ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
152
Voted
LEGE
2003
15 years 3 months ago
2003
ELeGI, the European Learning Grid Infrastructure, has the ambitious goal of fostering effective learning and knowledge construction through the dynamic provision of service-based ...
130
Voted
CHI
2008
ACM
16 years 2 months ago
2008
ACM
Current practice in Human Computer Interaction as encouraged by educational institutes, academic review processes, and institutions with usability groups advocate usability evalua...
126
Voted
TAMODIA
2007
15 years 3 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
108
Voted
CHI
2007
ACM
16 years 2 months ago
2007
ACM
The idea of conducting usability tests remotely emerged ten years ago. Since then, it has been studied empirically, and some software organizations employ remote methods. Yet ther...