PURe (FCT contract POSI/CHS/44304/2002)

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

Theory and Formal Methods at U.Minho