A Theory for Feature Models in Alloy
暂无分享,去创建一个
[1] William F. Opdyke,et al. Refactoring object-oriented frameworks , 1992 .
[2] Natarajan Shankar,et al. PVS: An Experience Report , 1998, FM-Trends.
[3] Krzysztof Czarnecki,et al. Generative programming - methods, tools and applications , 2000 .
[4] Arie van Deursen,et al. Domain-specific language design requires feature descriptions , 2002 .
[5] Paul Clements,et al. Software product lines - practices and patterns , 2001, SEI series in software engineering.
[6] Paulo Borba,et al. Basic Laws of Object Modeling , 2004 .
[7] Michal Antkiewicz,et al. FeaturePlugin: feature modeling plug-in for Eclipse , 2004, eclipse '04.
[8] Antonio Ruiz Cortés,et al. Automated Reasoning on Feature Models , 2005, CAiSE.
[9] Paulo Borba,et al. A rigorous approach for proving model refactorings , 2005, ASE.
[10] Viktor Kuncak,et al. Relational analysis of algebraic datatypes , 2005, ESEC/FSE-13.
[11] Krzysztof Czarnecki,et al. Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..
[12] Don S. Batory,et al. Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.
[13] Ridha Khédri,et al. Feature Algebra , 2006, FM.
[14] Carlos José Pereira de Lucena,et al. Refactoring product lines , 2006, GPCE '06.