KOPI: Consistency-checking of Software Product Lines

DFG project

The aim of the project is to develop formally founded techniques for consistency checking og software pdoruct line artefacts. The solutions of KOPI will be applicable during early phases of product line engineering (i.e., during domain engineering) to avoid costly corrections in later phases of development.

Runtime: June 2011 - May 2013

Contact: Prof. Dr. Klaus Pohl