Decision-making coordination and efficient reasoning techniques for feature-based configuration

DOI10.1016/J.SCICO.2009.12.004MaRDI QIDQ967553zbMATH OpenOpenAlexFDO

Authors Marcilio Mendonca, Donald D. Cowan

Publication date 29 April 2010

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2009.12.004

zbMATH Keywords

automated reasoningsoftware product linesconstraint-based reasoningfeature modelsdecision-making coordinationfeature modellingproduct configuration

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Heuristic and exact algorithms for product configuration in software product lines
• \({\mathcal{COCONF}}\): conceptual language-based configuration
• scientific article; zbMATH DE number 1953289
• Resource-usage-aware configuration in software product lines
• scientific article; zbMATH DE number 1882052

Cites work

• scientific article; zbMATH DE number 1220670 (Why is no real title available?)
• scientific article; zbMATH DE number 2087582 (Why is no real title available?)
• scientific article; zbMATH DE number 1882052 (Why is no real title available?)
• Graph-Based Algorithms for Boolean Function Manipulation
• Handbook of constraint programming.
• Software Product Line Engineering
• The complexity of theorem-proving procedures

Cited in

(2)

• Heuristic and exact algorithms for product configuration in software product lines
• Resource-usage-aware configuration in software product lines

Describes a project that uses

Uses Software

• Choco
• Sat4j
• fmp

This page was built for publication: Decision-making coordination and efficient reasoning techniques for feature-based configuration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q967553)