249 search results - page 42 / 50 » Designing and Building a Software Test Organization |
AAAI
2008
13 years 10 months ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
PERVASIVE
2010
Springer
13 years 9 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
BMCBI
2008
13 years 7 months ago
2008
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
IUI
1999
ACM
14 years 1 days ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...