582 search results - page 58 / 117 » Model-driven Software Refactoring |
CIBSE
2008
ACM
15 years 1 months ago
2008
ACM
Typical problems of a requirements document, regarding its contents and organization, involve deficient modularization where requirements artifacts may deal with too much informati...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
119
click to vote
SIGSOFT
2003
ACM
16 years 17 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
QOSA
2009
Springer
15 years 6 months ago
2009
Springer
L.L.Bean is a large retail organization whose development processes must be agile in order to allow rapid enhancement and maintenance of its technology infrastructure. Over the pas...
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...