Change search
ReferencesLink to record
Permanent link

Direct link
Automated Reasoning on Feature Models via Constraint Programming 
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2011 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Feature models are often used in software product lines to represent a set of products and reason over their properties, similarities and differences, costs, etc. The problem becomes automating such reasoning which translates into a positive impact in terms of production, cost, and creation of the final products. To approach this matter we take advantage of the benefits of the constraint programming technology, which has proven to be most effective when solving problems of large complexity. Throughout the thesis we state the reasons for choosing this tool, evaluating its advantages and drawbacks, and showing results that support the conveniences of using constraint programming.

Keywords: feature models, software product lines, constraint programming.

Place, publisher, year, edition, pages
IT, 11 041
URN: urn:nbn:se:uu:diva-156437OAI: diva2:431605
Educational program
Master Programme in Computer Science
Available from: 2011-07-21 Created: 2011-07-21 Last updated: 2011-07-21Bibliographically approved

Open Access in DiVA

fulltext(536 kB)657 downloads
File information
File name FULLTEXT01.pdfFile size 536 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 657 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 768 hits
ReferencesLink to record
Permanent link

Direct link