• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. A Long and Winding Road Towards Modular Synthesis
 
  • Details
  • Full
Options
2016
Conference Paper
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(s)
Heineman, G.T.
Bessai, J.
Düdder, B.
Rehof, J.
Mainwork
Leveraging applications of formal methods, verification and validation, ISoLA 2016. Pt.1: Foundational techniques  
Conference
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2016  
DOI
10.1007/978-3-319-47166-2_21
Language
English
Fraunhofer-Institut für Software- und Systemtechnik ISST  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024