618 search results - page 58 / 124 » A Practical Program Transformation System for Reverse Engine... |
137
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
214
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
147
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
130
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
137
Voted
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
Comments are valuable especially for program understanding and maintenance, but do developers comment their code? To which extent do they add comments or adapt them when they evol...