Feature Diagrams and Logics: There and Back Again
暂无分享,去创建一个
[1] T. van deStorm. Variability and component composition , 2004 .
[2] Alfred V. Aho,et al. The Transitive Reduction of a Directed Graph , 1972, SIAM J. Comput..
[3] Prof. Dr. Christoph Meinel,et al. Algorithms and Data Structures in VLSI Design , 1998, Springer Berlin Heidelberg.
[4] R. M. Jensen,et al. FAST BACKTRACK-FREE PRODUCT CONFIGURATION USING A PRECOMPILED SOLUTION SPACE REPRESENTATION , 2004 .
[5] Carlos José Pereira de Lucena,et al. Refactoring product lines , 2006, GPCE '06.
[6] Don S. Batory,et al. Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.
[7] Jan van Leeuwen,et al. Maintenance of Transitive Closures and Transitive Reductions of Graphs , 1987, WG.
[8] Gabriel Valiente,et al. Algorithms on Trees and Graphs , 2002, Springer Berlin Heidelberg.
[9] Krzysztof Czarnecki,et al. Feature models are views on ontologies , 2006, 10th International Software Product Line Conference (SPLC'06).
[10] Haiyan Zhao,et al. A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.
[11] Pierre-Yves Schobbens,et al. Generic Semantics of Feature Diagrams Variants , 2005, FIW.
[12] Vasco M. Manquinho,et al. Prime implicant computation using satisfiability algorithms , 1997, Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence.
[13] Antonio Ruiz Cortés,et al. Automated Reasoning on Feature Models , 2005, CAiSE.
[14] Olivier Coudert,et al. Implicit and incremental computation of primes and essential primes of Boolean functions , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[15] Olivier Coudert,et al. Verification of Synchronous Sequential Machines Based on Symbolic Execution , 1989, Automatic Verification Methods for Finite State Systems.
[16] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .
[17] Krzysztof Czarnecki,et al. Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..
[18] Sergio Segura,et al. A Survey on the Automated Analyses of Feature Models , 2006, JISBD.