618 search results - page 106 / 124 » A Practical Program Transformation System for Reverse Engine... |
125
click to vote
SIGSOFT
2005
ACM
15 years 8 months ago
2005
ACM
Reuse has always been a major goal in software engineering, since it promises large gains in productivity, quality and time to market reduction. Practical experience has shown tha...
131
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
103
click to vote
AVI
2004
15 years 4 months ago
2004
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...
131
click to vote
CF
2005
ACM
15 years 5 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
148
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...