6197 search results - page 943 / 1240 » Sandbridge Software Tools |
164
click to vote
IEEECIT
2006
IEEE
16 years 22 days ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
216
click to vote
KBSE
2006
IEEE
16 years 22 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
168
click to vote
ACMDIS
2006
ACM
16 years 21 days ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
167
click to vote
ACMDIS
2006
ACM
16 years 21 days ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
152
click to vote
ERLANG
2006
ACM
16 years 20 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...