I am an Associate Professor in the Electrical and Computer Engineering at
the
I work in the area of Generative Software Development. See the overview paper for an introduction.
Fundamentals of Software Engineering (F2007)
Software Architecture and Design (S2007, S2006, S2005, F2004)
Software Design (F2006)
Generative Software Development (F2005)
Generative Software Development (F2004)
System Family Engineering & Generative Programming (F2003)
Software Engineering (W2003 & W2004)
fmp - Eclipse plug-in for feature modeling (read accompanying paper)
fmp2rsm - IBM Rational Software Modeler plug-in for creating UML model templates and mapping features to model templates (read accompanying paper)
Eclipse WPI FSML – Framework-specific modeling language with roundtrip support for an aspect of Eclipse plug-in development (read accompanying paper)
Slides for my invited talk at the UML 2004 Conference
M. Antkiewicz and K. Czarnecki. Design Space of Heterogeneous Synchronization. Book chapter submitted to post-proceedings of Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE), 2007
M. Antkiewicz, T. T. Bartolomei,
and K. Czarnecki. Automatic extraction of
framework-specific models from framework-based application code. In
Proceedings of the Twenty-Second IEEE/ACM international Conference on Automated
Software Engineering (
K. Czarnecki and A. Wasowski. Feature Diagrams and Logics: There and Back Again. In Proceedings of the 11th International Software Product Line Conference (SPLC), IEEE Press, 2007, pp. 23-34
A. Hessellund, K. Czarnecki, and A. Wąsowski. Guided
Development with Multiple Domain-Specific Languages. In Proceedings
ACM/IEEE International Conference on Model Driven Engineering Languages and
Systems (MODELS), LNCS Vol. 4735, Springer Berlin/Heidelberg, 2007, pp. 46-60
Jules White, Douglas C. Schmidt, Krzysztof Czarnecki, Christoph Wienands,
Gunther Lenz, Egon Wuchner, Ludger Fiege. Automated
Model-Based Configuration of Enterprise Java Applications. In Proceeding of
the 11th IEEE International
K. Czarnecki, M. Antkiewicz, and C. H. P. Kim. Multi-level Customization in Application Engineering. Communications of the ACM, special issue on Software-Product Line Engineering, December 2006, pp. 61-66
K. Czarnecki and S. Helsen. Feature-Based Survey of Model Transformation Approaches. IBM Systems Journal, special issue on Model-Driven Software Development. 45(3), 2006, pp. 621-645
K. Czarnecki and K. Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In Proceedings of ACM SIGSOFT/SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE'06), ACM Press, 2006
M. Antkiewicz and K. Czarnecki. Framework-Specific Modeling Languages with Round-Trip Engineering. In Proceedings of ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Lecture Notes in Computer Science, Springer-Verlag, 2006
K. Czarnecki, C. H. P. Kim, and K. Kalleberg. Feature Models Are Views on Ontologies. In Proceedings of 10th International Software Product Line Conference (SPLC 2006), IEEE, 2006, pp. 41-51
Foreword by K. Czarnecki to T. Stahl and M. Voelter, Model-Driven Software Development: Technology, Engineering, Management. Wiley, 2006
C. H. P. Kim and K. Czarnecki. Synchronizing Cardinality-Based Feature Models and their
Specializations. In Proceedings of European Conference on Model Driven
Architecture – Foundations and Applications (ECMDA-FA’05), November 7-10, 2005,
K. Czarnecki and C. H. P. Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In OOPSLA’05 International Workshop on Software Factories (online proceedings), 2005
K. Czarnecki and M. Antkiewicz. Mapping Features to Models: A Template Approach Based on Superimposed Variants. In Proceedings of GPCE'05, 2005
K. Czarnecki. Overview of Generative Software
Development. In J.-P. Banâtre
et al. (Eds.): Unconventional Programming Paradigms (UPP) 2004,
K. Czarnecki, S. Helsen, and U. Eisenecker. Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process Improvement and Practice, special issue on "Software Variability: Process and Management, 10(2), 2005, pp. 143 - 169
K. Czarnecki, S. Helsen, and U. Eisenecker. Formalizing Cardinality-based Feature Models and their Specialization. Software Process Improvement and Practice, special issue of best papers from SPLC04, 10(1), 2005, pp. 7 - 29
M. Antkiewicz and K. Czarnecki. FeaturePlugin: Feature modeling plug-in for Eclipse, OOPSLA’04 Eclipse Technology eXchange (ETX) Workshop, 2004
K. Czarnecki, S. Helsen, and U. Eisenecker. Staged configuration using feature models. In Proceedings of the Third Software Product-Line Conference, Robert Nord, (Eds.), Lecture Notes in Computer Science, Springer-Verlag, September 2004, © Springer-Verlag (Note: this paper is superseded by the extended journal version Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models for Software Variability: Process and Management)
K. Czarnecki, S. Helsen, and U. Eisenecker. Formalizing cardinality-based feature models and their staged configuration. Technical Report 04-11, Department of Electrical and Computer Engineering, University of Waterloo, Canada, April 1, 2004 (Note: this paper is superseded by the extended journal version Formalizing Cardinality-based Feature Models and their Specialization for Software Variability: Process and Management)
K. Czarnecki, J. O’Donnel, J. Striegnitz, W. Taha. DSL
Implementation in MetaOCaml, Template Haskell, and C++. In Domain-Specific
Program Generation, International Seminar, Dagstuhl Castle, Germany, March
23-28, 2003, Revised Papers, Lecture Notes in Computer Science 3016, C.
Lengauer, D. Batory, C. Consel, M. Odersky (Eds.), Springer-Verlag, 2004, pp.
50-71, © Springer-Verlag
K. Czarnecki and S. Helsen. Classification
of Model Transformation Approaches. In online proceedings of the 2nd
OOPSLA’03 Workshop on Generative Techniques in the Context of MDA.