5668 search results - page 873 / 1134 » The case for software evolution |
119
click to vote
LISA
2007
15 years 7 months ago
2007
The high rate of requirement changes make system administration a complex task. This complexity is further influenced by the increasing scale, unpredictable behaviour of software ...
157
click to vote
ARCS
2008
Springer
15 years 7 months ago
2008
Springer
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
188
click to vote
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
In preemptive real-time systems, scheduling analyses need—in addition to the worst-case execution time—the context-switch cost. In case of preemption, the preempted and the pr...
140
Voted
MSR
2010
ACM
15 years 7 months ago
2010
ACM
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
143
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...