Sciweavers

Share
OOPSLA
2009
Springer

S.P.L.O.T.: software product lines online tools

9 years 1 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniques such as SAT solvers and binary decision diagrams to provide efficient reasoning and interactive configuration services to SPL researchers and practitioners. In addition, the system provides a feature model repository containing real and generated models to encourage knowledge sharing among researchers in the field. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques—CASE; D.2.1 [Software Engineering]: Requirements/Specifications—Tools General Terms Design Keywords Software Product Lines, Feature Models, Automated Reasoning, Interactive Configuration, Feature Model Analysis
Marcílio Mendonça, Moises Branco, Do
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where OOPSLA
Authors Marcílio Mendonça, Moises Branco, Donald D. Cowan
Comments (0)
books