Sciweavers

3544 search results - page 437 / 709
» Software Testing
Sort
View
KBSE
1998
IEEE
15 years 11 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
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...
T. L. McCluskey, Margaret Mary West
UIST
1998
ACM
15 years 11 months ago
Interaction and Modeling Techniques for Desktop Two-Handed Input
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...
Ken Hinckley, Mary Czerwinski, Mike Sinclair
UIST
1998
ACM
15 years 11 months ago
Path Drawing for 3D Walkthrough
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...
Takeo Igarashi, Rieko Kadobayashi, Kenji Mase, Hid...
AADEBUG
1997
Springer
15 years 11 months ago
Observation and Control for Debugging Distributed Computations
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
Vijay K. Garg
AGILEDC
2004
IEEE
15 years 10 months ago
The XP Customer Role in Practice: Three Studies
The Customer is the only non-developer role in eXtreme Programming (XP). The Customer's explicit responsibilities are to drive the project, providing project requirements (us...
Angela Martin, Robert Biddle, James Noble