2493 search results - page 283 / 499 » Tool Support for Design by Contract |
UIST
1998
ACM
15 years 3 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
106
Voted
ICECCS
1996
IEEE
15 years 3 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
82
Voted
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
AAAI
1994
15 years 5 days ago
1994
A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may ari...
103
click to vote
CHI
2011
ACM
14 years 2 months ago
2011
ACM
As various home robots come into homes, the need for efficient robot task management tools is arising. Current tools are designed for controlling individual robots independently, ...