The aim of the PURe research project is to develop calculi for program understanding and re-engineering. Formal techniques that have traditionally been developed for and applied to forward engineering of software, are applied in reverse direction, i.e. for the understanding and re-engineering of existing (legacy) program code.
The project aims to produce relevant contributions in the following areas:
* Classification (of algorithms, components and architectures)
* Refinement calculi (for data structures, algorithms and components)
* Complexity inference
* Reverse engineering techniques and calculi
* Technology of visual animation tools for the developed calculi