Automated Analysis of Orthogonal Variability Models. A First Step
暂无分享,去创建一个
[1] Don S. Batory,et al. Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.
[2] Miguel Toro,et al. Automated error analysis for the agilization of feature modeling , 2008, J. Syst. Softw..
[3] Klaus Pohl,et al. Software Product Line Variability Management , 2006, 10th International Software Product Line Conference (SPLC'06).
[4] Haiyan Zhao,et al. A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.
[5] Pierre-Yves Schobbens,et al. Generic semantics of feature diagrams , 2007, Comput. Networks.
[6] Antonio Ruiz Cortés,et al. FAMA Framework , 2008, 2008 12th International Software Product Line Conference.
[7] Sergio Segura,et al. FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.
[8] Sergio Segura,et al. A Survey on the Automated Analyses of Feature Models , 2006, JISBD.
[9] 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).
[10] Antonio Ruiz Cortés,et al. Automated analysis of feature models: challenges ahead , 2006, CACM.
[11] Krzysztof Czarnecki,et al. Feature Diagrams and Logics: There and Back Again , 2007, 11th International Software Product Line Conference (SPLC 2007).
[12] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[13] Tom Mens,et al. A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..
[14] Paul C. Clements. Managing Variability for Software Product Lines: Working with Variability Mechanisms , 2006, 10th International Software Product Line Conference (SPLC'06).
[15] Antonio Ruiz Cortés,et al. A First Step Towards a Framework for the Automated Analysis of Feature Models , 2006 .
[16] Pierre-Yves Schobbens,et al. Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).
[17] Mike Mannion. Using First-Order Logic for Product Line Model Validation , 2002, SPLC.
[18] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[19] Shaofeng Fan,et al. Feature Model Based on Description Logics , 2006, KES.
[20] Hai H. Wang,et al. Formal semantics and verification for feature modeling , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).