Verifying feature-based model templates against well-formedness OCL constraints.

Krzysztof Czarnecki, Krzysztof Pietroszek

Browse the full GPCE paper archive.