A proposal for consistency checking in dynamic software product line models using OCL.

Fabiana Gomes Marinho

Browse the full ICSE paper archive.