On Language Levels for Feature Modeling Notations
暂无分享,去创建一个
[1] Gunter Saake,et al. SPL Conqueror: Toward optimization of non-functional properties in software product lines , 2012, Software Quality Journal.
[2] Hung Viet Nguyen,et al. Exploring variability-aware execution for testing plugin-based web applications , 2014, ICSE.
[3] Sven Apel,et al. A Comparison of 10 Sampling Algorithms for Configurable Systems , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[4] Krzysztof Czarnecki,et al. A survey of variability modeling in industrial practice , 2013, VaMoS.
[5] Gunter Saake,et al. Variant-preserving refactorings for migrating cloned products to a product line , 2017, 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).
[6] Wolfgang Schröder-Preikschat,et al. Feature consistency in compile-time-configurable system software: facing the linux 10,000 feature problem , 2011, EuroSys '11.
[7] William L. Berry,et al. Approaches to mass customization: configurations and empirical validation , 2000 .
[8] Sebastian Krieter,et al. Propagating Configuration Decisions with Modal Implication Graphs , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
[9] Sergio Segura,et al. BeTTy: benchmarking and testing on the automated analysis of feature models , 2012, VaMoS.
[10] Gunter Saake,et al. A Classification and Survey of Analysis Strategies for Software Product Lines , 2014, ACM Comput. Surv..
[11] Giovani J.C. da Silveira,et al. Mass customization: Literature review and research directions , 2001 .
[12] Uwe Aßmann,et al. Capturing variability in space and time with hyper feature models , 2014, VaMoS.
[13] Donald D. Cowan,et al. S.P.L.O.T.: software product lines online tools , 2009, OOPSLA Companion.
[14] Paul Grünbacher,et al. A systematic review and an expert survey on capabilities supporting multi product lines , 2012, Inf. Softw. Technol..
[15] Andreas Classen,et al. A text-based approach to feature modelling: Syntax and semantics of TVL , 2011, Sci. Comput. Program..
[16] Gunter Saake,et al. An overview on analysis tools for software product lines , 2014, SPLC '14.
[17] Klaus Pohl,et al. Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .
[18] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .
[19] Patrick Heymans,et al. Separation of concerns in feature diagram languages: A systematic survey , 2013, CSUR.
[20] Don S. Batory,et al. Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.
[21] John D. McGregor,et al. On strategies for testing software product lines: A systematic literature review , 2014, Inf. Softw. Technol..
[22] Michael D. Ernst,et al. An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.
[23] Sergio Segura,et al. FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.
[24] ApelSven,et al. A Classification and Survey of Analysis Strategies for Software Product Lines , 2014 .
[25] Sergio Segura,et al. Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..
[26] Birger Møller-Pedersen,et al. Adding Standardized Variability to Domain Specific Languages , 2008, 2008 12th International Software Product Line Conference.
[27] Tim Menzies,et al. Scalable product line configuration: A straw to break the camel's back , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
[28] Mustafa Al-Hajjaji,et al. A classification of product sampling for software product lines , 2018, SPLC.
[29] Krzysztof Czarnecki,et al. Verifying feature-based model templates against well-formedness OCL constraints , 2006, GPCE '06.
[30] Gunter Saake,et al. Feature-Oriented Software Product Lines , 2013, Springer Berlin Heidelberg.
[31] Pierre-Yves Schobbens,et al. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking , 2013, IEEE Transactions on Software Engineering.
[32] Krzysztof Czarnecki,et al. Unifying Software and Product Configuration: A Research Roadmap (to appear) , 2012 .
[33] Toby Walsh,et al. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications , 2009 .
[34] Gunter Saake,et al. Multi-dimensional variability modeling , 2011, VaMoS.
[35] Pierre-Yves Schobbens,et al. Generic semantics of feature diagrams , 2007, Comput. Networks.
[36] Sebastian Krieter,et al. Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[37] Sebastian Erdweg,et al. Variability-aware parsing in the presence of lexical macros and conditional compilation , 2011, OOPSLA '11.
[38] BatoryDon,et al. Automated analysis of feature models , 2006 .
[39] Pierre-Yves Schobbens,et al. Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).
[40] Thomas Thüm,et al. Variability Hiding in Contracts for Dependent Software Product Lines , 2016, VaMoS.
[41] Michael Nieke,et al. Back to the future: avoiding paradoxes in feature-model evolution , 2018, SPLC.
[42] Krzysztof Czarnecki,et al. Variability modeling in the real: a perspective from the operating systems domain , 2010, ASE '10.
[43] Sven Apel,et al. Presence-Condition Simplification in Highly Configurable Systems , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
[44] Antonio Ruiz-Cortés,et al. Automated analysis of feature models: Quo vadis? , 2018, Computing.
[45] Sebastian Krieter,et al. Product Sampling for Product Lines: The Scalability Challenge , 2019, SPLC.
[46] Klaus Pohl,et al. Software Product Line Engineering , 2005 .
[47] Thomas Thüm,et al. Implicit constraints in partial feature models , 2016, FOSD.
[48] Michael Nieke,et al. Anomaly analyses for feature-model evolution , 2018, GPCE.
[49] Paul Grünbacher,et al. Structuring the modeling space and supporting evolution in software product line engineering , 2010, J. Syst. Softw..
[50] Mathieu Acher,et al. Slicing feature models , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
[51] William R. Cook,et al. Safe composition of product lines , 2007, GPCE '07.
[52] Antonio Ruiz-Cortés,et al. Automated analysis of feature models: Quo vadis? , 2018, Computing.
[53] Donald D. Cowan,et al. Efficient compilation techniques for large scale feature models , 2008, GPCE '08.
[54] Thomas Thüm,et al. Explaining anomalies in feature models , 2016, GPCE.
[55] Krzysztof Czarnecki,et al. Cool features and tough decisions: a comparison of variability modeling approaches , 2012, VaMoS.
[56] Thomas Leich,et al. Mastering Software Variability with FeatureIDE , 2017, Springer International Publishing.
[57] Krzysztof Czarnecki,et al. Feature Diagrams and Logics: There and Back Again , 2007, 11th International Software Product Line Conference (SPLC 2007).
[58] Stephan Mennicke,et al. Is there a mismatch between real-world feature models and product-line research? , 2017, ESEC/SIGSOFT FSE.
[59] Klaus Schmid,et al. Analysing the Kconfig semantics and its analysis tools , 2015, GPCE.
[60] Sebastian Erdweg,et al. Abstract Features in Feature Modeling , 2011, 2011 15th International Software Product Line Conference.
[61] Sven Apel,et al. Scalable analysis of variable software , 2013, ESEC/FSE 2013.
[62] Krzysztof Czarnecki,et al. Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study , 2015, IEEE Transactions on Software Engineering.