TY - GEN
T1 - User-level synthesis
T2 - 19th International Software Product Line Conference, SPLC 2015
AU - Steffen, Bernhard
AU - Lamprecht, Anna Lena
AU - Margaria, Tiziana
N1 - Publisher Copyright:
© 2015 Copyright held by the owner/author(s). Publication rights licensed to ACM.
PY - 2015/7/20
Y1 - 2015/7/20
N2 - In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, as will also be illustrated along our example scenarios, this leads to a framework for a consistent division of labour in an "easy for the many difficult for the few" fashion which supports correctness by construction. Central for this approach are our powerful model-based synthesis and code generation technologies, which turn systems of constraints into executable models or target code.
AB - In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, as will also be illustrated along our example scenarios, this leads to a framework for a consistent division of labour in an "easy for the many difficult for the few" fashion which supports correctness by construction. Central for this approach are our powerful model-based synthesis and code generation technologies, which turn systems of constraints into executable models or target code.
UR - http://www.scopus.com/inward/record.url?scp=84982860413&partnerID=8YFLogxK
U2 - 10.1145/2791060.2793675
DO - 10.1145/2791060.2793675
M3 - Conference contribution
AN - SCOPUS:84982860413
T3 - ACM International Conference Proceeding Series
SP - 427
EP - 431
BT - Proceedings - 19th International Software Product Line Conference, SPLC 2015
PB - Association for Computing Machinery
Y2 - 20 July 2015 through 24 July 2015
ER -