Standard
A long and winding road towards modular synthesis. / Heineman, George T.; Bessai, Jan; Düdder, Boris; Rehof, Jakob.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2016. p. 303-317 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Heineman, GT, Bessai, J
, Düdder, B & Rehof, J 2016,
A long and winding road towards modular synthesis. in T Margaria & B Steffen (eds),
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9952 LNCS, pp. 303-317, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Imperial, Corfu, Greece,
10/10/2016.
https://doi.org/10.1007/978-3-319-47166-2_21
APA
Heineman, G. T., Bessai, J.
, Düdder, B., & Rehof, J. (2016).
A long and winding road towards modular synthesis. In T. Margaria, & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (pp. 303-317). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9952 LNCS
https://doi.org/10.1007/978-3-319-47166-2_21
Vancouver
Heineman GT, Bessai J
, Düdder B, Rehof J.
A long and winding road towards modular synthesis. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. p. 303-317. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
https://doi.org/10.1007/978-3-319-47166-2_21
Author
Heineman, George T. ; Bessai, Jan ; Düdder, Boris ; Rehof, Jakob. / A long and winding road towards modular synthesis. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2016. pp. 303-317 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
Bibtex
@inproceedings{642ead9fd26f4b83a71ce264ca5a9f21,
title = "A long and winding road towards modular synthesis",
abstract = "This paper offers a personal reflection on a number of attempts over the past decade to apply a variety of approaches to construct a product line for solitaire card games implemented in Java. A product line shares a common set of features developed from a common set of software artifacts. A feature is a unit of functionality within a system that is visible to an end-user and can be used to differentiate members of the product line. The ultimate research goal is to assemble a product line by selecting a configuration of a set of pre-designed modular units and developing new units as necessary for individual members; in short, incorporating configuration into routine development. A secondary goal was to develop a suitable tool chain that could be integrated with existing IDEs to achieve widespread acceptance of the approach. We compare progress against by-hand development in Java. During this period we investigated a number of approaches from the research literature, including components, aspects, and layers; these efforts led to a productive collaboration supported by type theory.",
author = "Heineman, {George T.} and Jan Bessai and Boris D{\"u}dder and Jakob Rehof",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-47166-2_21",
language = "English",
isbn = "9783319471655",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "303--317",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
note = "7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 ; Conference date: 10-10-2016 Through 14-10-2016",
}
RIS
TY - GEN
T1 - A long and winding road towards modular synthesis
AU - Heineman, George T.
AU - Bessai, Jan
AU - Düdder, Boris
AU - Rehof, Jakob
PY - 2016/1/1
Y1 - 2016/1/1
N2 - This paper offers a personal reflection on a number of attempts over the past decade to apply a variety of approaches to construct a product line for solitaire card games implemented in Java. A product line shares a common set of features developed from a common set of software artifacts. A feature is a unit of functionality within a system that is visible to an end-user and can be used to differentiate members of the product line. The ultimate research goal is to assemble a product line by selecting a configuration of a set of pre-designed modular units and developing new units as necessary for individual members; in short, incorporating configuration into routine development. A secondary goal was to develop a suitable tool chain that could be integrated with existing IDEs to achieve widespread acceptance of the approach. We compare progress against by-hand development in Java. During this period we investigated a number of approaches from the research literature, including components, aspects, and layers; these efforts led to a productive collaboration supported by type theory.
AB - This paper offers a personal reflection on a number of attempts over the past decade to apply a variety of approaches to construct a product line for solitaire card games implemented in Java. A product line shares a common set of features developed from a common set of software artifacts. A feature is a unit of functionality within a system that is visible to an end-user and can be used to differentiate members of the product line. The ultimate research goal is to assemble a product line by selecting a configuration of a set of pre-designed modular units and developing new units as necessary for individual members; in short, incorporating configuration into routine development. A secondary goal was to develop a suitable tool chain that could be integrated with existing IDEs to achieve widespread acceptance of the approach. We compare progress against by-hand development in Java. During this period we investigated a number of approaches from the research literature, including components, aspects, and layers; these efforts led to a productive collaboration supported by type theory.
UR - http://www.scopus.com/inward/record.url?scp=84993945290&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-47166-2_21
DO - 10.1007/978-3-319-47166-2_21
M3 - Article in proceedings
AN - SCOPUS:84993945290
SN - 9783319471655
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 303
EP - 317
BT - Leveraging Applications of Formal Methods, Verification and Validation
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Verlag
T2 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Y2 - 10 October 2016 through 14 October 2016
ER -