7027 search results - page 506 / 1406 » Software process: a roadmap |
200
click to vote
WCRE
1995
IEEE
15 years 10 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
219
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
154
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Adaptive computers combine conventional software programmable processors with reconfigurable compute units. We present techniques that allow the high-performance realization of de...
199
Voted
SNPD
2008
15 years 8 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
178
click to vote
SNPD
2008
15 years 8 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...