S.P.L.O.T. - Software product lines online tools

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2009, Pages 761-762

  Mendonca, Marcilio ^a   Branco, Moises ^b   Cowan, Donald ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

^b Banco Do Nordeste Do Brasil ^*  (Brazil)

Author keywords

Automated reasoning; Feature model automated analysis; Feature models; Interactive configuration; Software product lines

Indexed keywords

AUTOMATED ANALYSIS; AUTOMATED REASONING; CONFIGURATION SOFTWARE; CONFIGURATION SYSTEM; FEATURE MODELS; KNOWLEDGE-SHARING; ON-LINE TOOLS; REASONING TECHNIQUES; SAT SOLVERS; SOFTWARE PRODUCT LINE;

AUTOMATA THEORY; AUTOMATION; BINARY DECISION DIAGRAMS; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; DECISION THEORY; LINGUISTICS; PROBLEM SOLVING;

OBJECT ORIENTED PROGRAMMING;

EID: 72249121076     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1639950.1640002     Document Type: Conference Paper

References (15)

1. M. Antkiewicz and K. Czarnecki. FeaturePlugin: Feature modeling plug-in for Eclipse. In OOPSLA'04 Eclipse Technology eXchange (ETX) Workshop, 2004.
2. D. S. Batory. Feature models, grammars, and propositional formulas. In Software Product Lines, 9th Int. Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings, volume 3714 of LNCS, pages 7-20. Springer, 2005.
3. D. Benavides, P. Trinidad, and A. Ruiz-Cortes. Automated reasoning on feature models. In Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), Porto, Portugal, 2005, LNCS. Springer, 2005.
4. D. L. Berre, A. Parrain, O. Roussel, and L. Sais. SAT4J: A satisfiability library for Java, 2005. http://www.sat4j.org/.
5. D. Beuche. pure::variants Eclipse Plugin. User Guide. pure-systems GmbH. Available from http://web.pure-systems.com/fileadmin/downloads/pvuserguide.pdf, 2004.
6. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, Boston, MA, 2001.
7. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Boston, MA, 2000.
8. T. Hadzic, S. Subbarayan, R. M. Jensen, H. R. Andersen, J. Møller, and H. Hulgaard. Fast backtrack-free product configuration using a precompiled solution space representation. In PETO Conference, pages 131-138. DTU-tryk, June 2004.
9. K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Nov. 1990.
10. C. Kastner, T. Thum, G. Saake, J. Feigenspan, T. Leich, F. Wielgorz, and S. Apel. FeatureIDE: A tool framework for feature-oriented software development. In ICSE '09, pages 611-614, Washington, DC, USA, 2009.
11. M. Mendonca. 4WATREASON - A Feature Model Reasoning Tool, 2008. Available at: http://csg.uwaterloo.ca/marcilio/fmcompilation/index.html.
12. M. Mendonca, A. Wasowski, and K. Czarnecki. SAT-based analysis of feature models is easy. In Proceedings of the 13th Int. Software Product Line Conference (SPLC), 2009.
13. M. Mendonca, A.Wasowski, K. Czarnecki, and D. D. Cowan. Efficient compilation techniques for large scale feature models. In Int. Conference on Generative Programming and Component Engineering (GPCE'08), pages 13-22, 2008.
14. P. Trinidad, D. Benavides, A. Ruiz-Cortes, S. Segura, and A. Jimenez. FAMA framework. Software Product Line Conference, 2008. SPLC '08. 12th Int., pages 359-359, Sept. 2008.
15. J. Whaley. The JavaBDD BDD library, 2003-2007. Available at: http://javabdd.sourceforge.net/.