845 search results - page 155 / 169 » A Formal Model of the Software Test Process |
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
AGILEDC
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper describes the authors’ experiences creating a full Build Management System from a simple Version Control System. We will explore how the XP values of simplicity, feed...
ICTAI
1992
IEEE
14 years 2 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
VAMOS
2010
Springer
13 years 11 months ago
2010
Springer
During product configuration, users are prone to make errors because of complexity and lack of system knowledge. Such errors cause conflicts (i.e., incompatible choices selected) a...
GSEM
2004
Springer
14 years 3 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...