In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
S.P.L.O.T. - Software Product Lines Online Tools
|Title||S.P.L.O.T. - Software Product Lines Online Tools|
|Publication Type||Conference Paper|
|Year of Publication||2009|
|Authors||Mendonça, M., M. Branco, and D. Cowan|
|Conference Name||24th ACM SIGPLAN Conference on object oriented programming systems languages and applications - OOPSLA Companion|
|Conference Location||Orlando, Florida, USA|
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.