Krzysztof Czarnecki, Krzysztof Pietroszek. Verifying feature-based model templates against well-formedness OCL constraints. In Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen, editors, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. pages 211-220, ACM, 2006. [doi]
Abstract is missing.