Learn More
The widespread use of the product line approach allows companies to realize significant improvements in time-to- market, cost, productivity, and quality. However, a fundamental problem in software product line engineering is that a product line of industrial size can easily incorporate several thousand variable features. The complexity caused by this amount(More)
The development of the Event-B formal method and the supporting tools Rodin and ProB was guided by practical experiences with the B-Method, the Z specification notation, VDM and similar practical formal methods. The case study discussed in this article — a cruise control system — is a serious test of industrial use. We report on where Event-B and its tools(More)
The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development process based on a singular formal notation and method succeed. The majority of approaches demonstrate a low level of flexibility by attempting to use a single notation to express(More)
Analyzing the provided variability in an evolving product line is necessary to determine if new products can be derived by configuration of existing product line assets. To analyze the provided variability, we need to identify the variation points, the variants, and its constraints. In this paper, we show how formal concept analysis can be used to derive(More)
The management of variability plays an important role in successful software product line engineering. As the set of products that is derived from the product line and their requirements are constantly changing, the variability in the product line needs to evolve as well. A typical problem in in such an evolution scenario is that the number of variable(More)
  • 1