An SMT-based approach to automated configuration

Autor: Arnaud Hubaux, Patrick Heymans, Raphaël Michel, Vijay Ganesh

Publikováno v: SMT@IJCAR

In this paper, we explore a novel application domain for SMT solvers: configuration problems. Configuration problems are everywhere and particularly in product lines, where different yet similar products (e.g., cars or customizable software) are buil

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::035a05708c5089add992188f1ab115c7
https://doi.org/10.29007/5n7n

Supporting multiple perspectives in feature-based configuration

Autor: Arnaud Hubaux, Ebrahim Khalil Abbasi, Patrick Heymans, Dirk Deridder, Pierre-Yves Schobbens

Publikováno v: Software and Systems Modeling
Software and Systems Modeling, Springer Verlag, 2011, ⟨10.1007/s10270-011-0220-1⟩
Software and Systems Modeling, 2011, ⟨10.1007/s10270-011-0220-1⟩

Feature diagrams have become commonplace in software product line engineering as a means to document variability early in the life cycle. Over the years, their application has also been extended to assist stakeholders in the configuration of software

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60f8e7543db976c9e750eb1c758cb6ab
https://doi.org/10.1007/s10270-011-0220-1

Separating Concerns in Feature Models: Retrospective and Support for Multi-Views

Autor: Arnaud Hubaux, Philippe Lahire, Philippe Collet, Patrick Heymans, Thein Than Tun, Mathieu Acher

Publikováno v: Domain Engineering: Product Lines, Conceptual Models, and Languages
Reinhartz-Berger, Iris and Sturm, Arnor and Clark, Tony and Bettin, J. and Cohen, S. Domain Engineering: Product Lines, Conceptual Models, and Languages, Springer, pp.3-28, 2013, 978-3-642-36653-6. ⟨10.1007/978-3-642-36654-3_1⟩
Domain Engineering ISBN: 9783642366536
Domain Engineering, Product Lines, Languages, and Conceptual Models

International audience; Feature models (FMs) are a popular formalism to describe the commonality and variability of a set of assets in a software product line (SPL). SPLs usually involve large and complex FMs that describe thousands of features whose

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c97b31b7c91d6587963612c3153d2be9
https://hal.inria.fr/hal-00767213/file/DESoCFMBook.pdf

The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases

Autor: Arnaud Hubaux, Quentin Boucher, Ebrahim Khalil Abbasi, Patrick Heymans, Mathieu Acher

Publikováno v: CAiSE'13-25th International Conference on Advanced Information Systems Engineering-2013
CAiSE'13-25th International Conference on Advanced Information Systems Engineering-2013, Jun 2013, Valencia, Spain. pp.162-177
Notes on Numerical Fluid Mechanics and Multidisciplinary Design ISBN: 9783319981765
CAiSE

International audience; Nowadays, mass customization has been embraced by a large portion of the industry. As a result, the web abounds with sales config- urators that help customers tailor all kinds of goods and services to their specific needs. In

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88d0cf7d7e4396c09acc05c4894120e4
https://hal.inria.fr/hal-00796555/file/ConfiguratorsCAISE13.pdf

A user survey of configuration challenges in Linux and eCos

Autor: Yingfei Xiong, Krzysztof Czarnecki, Arnaud Hubaux

Publikováno v: VaMoS

Operating systems expose sophisticated configurability to handle variability in hardware platforms like mobile devices, desktops, and servers. The variability model of an operating system kernel like Linux contains thousands of options guarded by hun

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d2cc129eafa33263f209ea932fe6c189
https://doi.org/10.1145/2110147.2110164