2493 search results - page 241 / 499 » Tool Support for Design by Contract |
MM
1996
ACM
15 years 3 months ago
1996
ACM
MAD (Movie Authoring and Design) is a novel design and authoring system that facilitates the process of creating dynamic visual presentations such as motion pictures and lecture-d...
VLDB
2004
ACM
15 years 4 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
CHI
2004
ACM
15 years 11 months ago
2004
ACM
This paper reports a study of Personal Information Management (PIM), which advances research in two ways: (1) rather than focusing on one tool, we collected cross-tool data relati...
CHI
2009
ACM
15 years 11 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
CSCW
2004
ACM
15 years 4 months ago
2004
ACM
There are a variety of digital tools for enabling people who are separated by time and space to communicate and collaborate on shared interests and tasks. The widespread use of so...