7206 search results - page 1288 / 1442 » Using a Hypermedia System for Systems Engineering |
174
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
121
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
120
Voted
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
123
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
117
Voted
IUI
2000
ACM
15 years 8 months ago
2000
ACM
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...