Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A Long and Winding Road Towards Modular Synthesis

: Heineman, G.T.; Bessai, J.; Düdder, B.; Rehof, J.


Margaria-Steffen, T.:
Leveraging applications of formal methods, verification and validation, ISoLA 2016. Pt.1: Foundational techniques
Cham: Springer, 2016 (Lecture Notes in Computer Science 9952)
ISBN: 978-3-319-47165-5
ISBN: 978-3-319-47166-2
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <7, 2016, Corfu>
Conference Paper
Fraunhofer ISST ()

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.