New for: D3
In my talk, I present delta-oriented modeling of software product lines to address these challenges. A delta-oriented software product line is represented by a core product and a set of product deltas that modify the core product to realize other product variants. Delta-oriented modeling can be integrated into a seamless model-based development process covering the architectural as well as the implementation level. In order to ensure consistency of the product variants, I present a compositional type system for a delta-oriented programming language. Furthermore, I show how to efficiently formally verify the functional correctness of the product variants by delta-oriented slicing.