Feature models, grammars, and propositional formulas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3714 LNCS, Issue , 2005, Pages 7-20

  Batory, Don ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY PREPOSITIONAL CONSTRAINTS; CONTEMPORARY TOOLS; FEATURE MODELS; GRAMMARS; PREPOSITIONAL FORMULAS;

COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; DATA STRUCTURES; PROGRAM DEBUGGING;

COMPUTER SOFTWARE;

EID: 33646190894     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11554844_3     Document Type: Conference Paper

References (29)

1. American Standard, http://www.americanstandard-us.com/planDesign/
2. M. Antkiewicz and K. Czamecki, "FeaturePlugln: Feature Modeling Plug-In for Eclipse", OOPSLA'04 Eclipse Technology exchange (ETX) Workshop, 2004.
3. D. Batory and S. O'Malley, "The Design and Implementation of Hierarchical Software Systems with Reusable Components", ACM TOSEM, October 1992.
4. D. Batory and B.J. Geraci, "Composition Validation and Subjectivity in GenVoca Generators", IEEE TSE, February 1997, 67-82.
5. D. Batory, AHEAD Tool Suite, www.cs.utexas.edu/users/schwartz/ATS.html
6. D. Benavides, P. Trinidad, and A. Ruiz-Cortes, "Automated Reasoning on Feature Models", Conference on Advanced Information Systems Engineering (CAISE), July 2005.
7. D. Beuche, "Composition and Construction of Embedded Software Families", Ph.D. thesis, Ottp-von-Guericke-Universitaet, Magdeburg, Germany, 2003.
8. Big Lever, GEARS tool, http://www.biglever.com/
9. BMW, http://www.bmwusa.com/
10. Captain Feature, https://sourceforge.net/projects/captainfeature/
11. T.H. Cormen, C.E. Leiserson, and R.L.Rivest. Introduction to Algorithms, MIT Press, 1990.
12. K. Czarnecki and U. Eisenecker. Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston, MA, 2000.
13. K. Czarnecki, S. Helsen, and U. Eisenecker, "Formalizing Cardinality-based Feature Models and their Specialization", Software Process Improvement and Practice, 2005 10(1).
14. K. Czarnecki, S. Helsen, and U. Eisenecker, "Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models", Software Process Improvement and Practice, 10(2), 2005.
15. K. Czarnecki, private correspondence, 2005.
16. N. Eén and N. Sörensson, "An extensible SAT solver". 6th International Conference on Theory and Applications of Satisfiability Testing, LNCS 2919, p 502-518, 2003.
17. K.D. Forbus and J. de Kleer, Building Problem Solvers, MIT Press 1993.
18. Gateway Computers, http://www.gateway.com/index.shtml
19. M. Grechanik and D. Batory, "Verification of Dynamically Reconfigurable Applications", in preparation 2005.
20. J. Greenfield, K. Short, S. Cook, S. Kent, and J. Crupi, Software Factories: Assembling Applications with Patterns, models, Frameworks and Tools, Wiley, 2004.
21. M. de Jong and J. Visser, "Grammars as Feature Diagrams".
22. D. Streitferdt, M. Riebisch, I. Philippow, "Details of Formalized Relations in Feature Models Using OCL". ECBS 2003, IEEE Computer Society, 2003, p. 297-304.
23. K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. "Feature-Oriented Domain Analysis (FODA) Feasibility Study". Technical Report, CMU/SEI-90TR-21, November 1990.
24. S. Neema, J. Sztipanovits, and G. Karsai, "Constraint-Based Design Space Exploration and Model Synthesis", EMSOFT 2003, LNCS 2855, p. 290-305.
25. R.E. Lopez-Herrejon and D. Batory, "A Standard Problem for Evaluating Product-Line Methodologies", GCSE 2001, September 9-13, 2001 Messe Erfurt, Erfurt, Germany.
26. M. Mannion, "Using first-order logic for product line model validation". 2nd Software Product Line Conf. (SPLC2), #2379 in LNCS, 176-187, 2002.
27. Pure-Systems, "Technical White Paper: Variant Management with pure::variants", www.pure-systems.com, 2003.
28. T. Teitelbaum and T. Reps, "The Cornell Program Synthesizer: a Syntax-Directed Programming Environment", CACM, v.24 n.9, p.563-573, Sept. 1981.
29. P. Zave, "FAQ Sheet on Feature Interactions", www.research.att.com/~pamela/faq.htm]