—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)
In this thesis we describe an approach and introduce a new tool, called JDeTEx, to extract decision tables from Java programs in order to give the maintenance engineer a better understanding of the control flow of the program. Decision tables are a compact, yet precise way to model the control flow of computer programs. In order to extract the decision… (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)
Recovering management information from source code. Markus Voß (sd&m AG) Synthese eines Vorgehens zur Migrationsplanung. Migration des Debeka-Software-Repositorys auf ein RDBMS. Uwe Erdmenger (pro et con Innovative Informatikanwendungen, Chemnitz) SPL-Sprachkonvertierung im Rahmen einer BS2000 Migration. Detecting Software Theft with API Call Sequence Sets.