2154 search results - page 2 / 431 » Evidence-based software production |
EUROMICRO
2011
IEEE
12 years 7 months ago
2011
IEEE
— The development of a software product in an organization involves various groups of stakeholders who may prioritize the qualities of the product differently. This paper present...
CCE
2010
13 years 4 months ago
2010
CCE
2010
13 years 4 months ago
2010
CCE
2010
13 years 4 months ago
2010
ASE
2011
13 years 2 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...