4079 search results - page 522 / 816 » Differential Testing for Software |
136
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
129
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
129
click to vote
UIST
1998
ACM
15 years 9 months ago
1998
ACM
We describe input devices and two-handed interaction techniques to support map navigation tasks. We discuss several design variations and user testing of two-handed navigation tec...
104
click to vote
UIST
1998
ACM
15 years 9 months ago
1998
ACM
This paper presents an interaction technique for walkthrough in virtual 3D spaces, where the user draws the intended path directly on the scene, and the avatar automatically moves...
129
click to vote
UIST
1997
ACM
15 years 9 months ago
1997
ACM
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...