3920 search results - page 489 / 784 » Challenges in Software Evolution |
206
click to vote
MODELS
2009
Springer
16 years 23 days ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
208
click to vote
ACL2
2006
ACM
16 years 6 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
161
Voted
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Managing operating systems and campus-supported software can be a daunting challenge. Many colleges and universities handle these challenges by using disk imaging software to crea...
195
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
172
click to vote
SOFTWARE
2002
15 years 5 months ago
2002
The body of literature on SMEs suggest that all SMEs seem to go through different life cycles, and while the terms used by different authors may vary, the events that govern them ...