449 search results - page 23 / 90 » Modernizing Existing Software: A Case Study |
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
SLE
2009
Springer
14 years 29 days ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
ASWEC
2007
IEEE
14 years 13 days ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
ICSR
2009
Springer
14 years 3 months ago
2009
Springer
In the lifecycle of a software product line (SPL), incremental generalization is usually required to extend the variability of existing core assets to support the new or changed ap...