Projects 1. Static Analysis of specifications, source modules, test procedures with measurement, checking and assessment 2. Reverse Engineering of existing software along with the construction of a software repository and the derivation of object oriented documents from procedural programs 3. Reengineering of single old porgrams in procedural programming languages such as Assembler, PL/1, COBOL and C through remodulizing, restructuring and refactoring 4. Wrapping of existing programs in PL/1, COBOL and C for integration in new software architectures