In this paper, we discuss experiences gained during evaluation of the maintainability of a reference architecture in use at Oc´e, one of the world’s leading copier manufacturer...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
Vaclav Cechticky, Alessandro Pasetti, O. Rohlik, W...
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...