5210 search results - page 979 / 1042 » Tools for Distributed Facilitation |
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...