Learn More
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc changes might have disastrous effects on the system and must be prevented under all circumstances , which requires the understanding of the details of source code and system(More)
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of(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.