—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)

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)

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)