Feature Modeling and Model Templates

Set of tools for feature modeling, configuration, feature-based model templates, template instantiation and verification.


Project status: Completed

Team Members

News

Tools

Publications

2009
Mendonça, M., M. Branco, and D. Cowan, "S.P.L.O.T. - Software Product Lines Online Tools", 24th ACM SIGPLAN Conference on object oriented programming systems languages and applications - OOPSLA Companion, Orlando, Florida, USA, ACM Press, pp. 761, 10/2009.
Mendonça, M., "Efficient Reasoning Techniques for Large Scale Feature Models", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
Mendonça, M., A. Wasowski, and K. Czarnecki, "SAT-based Analysis of Feature Models is Easy", 13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009. [pdf][pdf]
2008
She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
Mendonça, M., A. Wasowski, K. Czarnecki, and D. Cowan, "Efficient compilation techniques for large scale feature models", 7th international conference on Generative programming and component engineering - GPCE '08, Nashville, USA, ACM Press, pp. 13, 2008. [pdf]
Czarnecki, K., S. She, and A. Wasowski, "Sample Spaces and Feature Models: There and Back Again", 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, IEEE, pp. 22 - 31, 2008. [pdf][pdf]
2007
Czarnecki, K., and A. Wasowski, "Feature Diagrams and Logics: There and Back Again", SPLC '07: Proceedings of the 11th International Software Product Line Conference, Washington, USA, IEEE Computer Society, pp. 23–34, 2007. [pdf][pdf]
2006
Lau, S Q., "Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 168, 2006. [pdf]
Czarnecki, K., C H P. Kim, and K. Kalleberg, "Feature Models are Views on Ontologies", 10th International Software Product Line Conference (SPLC'06), Baltimore, USA, IEEE, pp. 41 - 51, 2006. [pdf][pdf]
Kim, C H P., "On the Relationship between Feature Models and Ontologies", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 89, 2006.
Czarnecki, K., and K. Pietroszek, "Verifying feature-based model templates against well-formedness OCL constraints", 5th international conference on Generative programming and component engineering - GPCE '06, Portland, Oregon, USA, ACM Press, pp. 211, 2006. [pdf]
2005
Czarnecki, K., S. Helsen, and U. Eisenecker, "Staged configuration through specialization and multilevel configuration of feature models", Software Process: Improvement and Practice, vol. 10, issue 2, pp. 143 - 169, 04/2005. [pdf]
Czarnecki, K., S. Helsen, and U. Eisenecker, "Formalizing cardinality-based feature models and their specialization", Software Process: Improvement and Practice, vol. 10, issue 1, pp. 7 - 29, 01/2005. [pdf]
Czarnecki, K., and C H P. Kim, "Cardinality-based feature modeling and constraints: a progress report", International Workshop on Software Factories at OOPSLA'05, San Diego, California, USA, ACM, 2005.
Czarnecki, K., M. Antkiewicz, C H P. Kim, S Q. Lau, and K. Pietroszek, "fmp and fmp2rsm: Eclipse Plug-Ins for Modeling Features Using Model Templates", OOPSLA'05 Companion, 2005. [pdf]
Czarnecki, K., and M. Antkiewicz, "Mapping Features to Models: A Template Approach Based on Superimposed Variants", ACM SIGSOFT/SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE'05), vol. 3676, Tallinn, Estonia, Springer-Verlag, pp. 422 - 437, 2005. [pdf][zip][zip]
Czarnecki, K., M. Antkiewicz, C H P. Kim, S Q. Lau, and K. Pietroszek, "Model-Driven Software Product Lines", OOPSLA'05 Companion, 2005. [pdf]
Kim, C H P., and K. Czarnecki, "Synchronizing Cardinality-Based Feature Models and Their Specializations", European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA’05), vol. 3748, Nuremberg, Germany, Springer-Verlag, pp. 331 - 348, 2005.
2004
Czarnecki, K., S. Helsen, and U. Eisenecker, "Staged Configuration Using Feature Models", Third Software Product-Line Conference (SPLC’04), 2004, vol. 3154, Boston, USA, Springer-Verlag, pp. 266-283, 09/2004. [zip]
Antkiewicz, M., and K. Czarnecki, "FeaturePlugin: Feature Modeling Plug-In for Eclipse", The 2004 OOPSLA Workshop on Eclipse Technology eXchange - Eclipse '04, Vancouver, British Columbia, Canada, ACM Press, pp. 67 - 72, 2004. [pdf][zip]
Tags:

Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.

Rafael Lotufo

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk