1663 search results - page 187 / 333 » Software Reuse and Safety |
POPL
2008
ACM
14 years 9 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
AGILEDC
2006
IEEE
14 years 3 months ago
2006
IEEE
There is a class of projects that can only be accomplished via agile practices due to their complexity and risks. It is rare for such a project to be staffed with newbies but it h...