… or in the implementation might result in ill-formed products– the safe composition problem. This work proposes an automated approach for verifying safe composition for SPLs …, which generate up to 272 products in the 7th release. We report safe …
In Software Engineering (SBES), 2011 25th Brazilian Symposium on. 2011: 263-272 [doi]… . This solution supports the reuse of class properties, and their safe and automatic … classes. However this introduced metaclass composition problems, i.e., code fragments … tried to solve metaclass composition problems, but they always resort to an ad-hoc …
Journal of Computer Languages, Systems and Structures, 31(3-4), dec 2005. [doi]… Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotonically. We generalize …
In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE). 2009:… -time adaptation of product lines which do not consider safe composition properties. This paper presents FeatureJ which enables safe compile-time and run-time … necessary to achieve safe run-time adaptation of product lines in FeatureJ: a) type …
7th ECOOP'2010 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'10), , June 2010.