Abstraction and Reuse of Formal Developments

The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan Abstraction for Reuse: given a formal development we want to make it more abstract to be able to reuse it in many different, similar situations. This way, the effort of formal development can be reused, and hence gets reduced each time.

The project focusses on foundations in formal logic and developing tool support, using Isabelle as the implementation basis and theorem proving engine. The project is supported by the German research council DFG.

Duration: Jan 1, 2002 - Jan 1, 2007
Partners: Universität Bremen
Research area: Software Systems  

Publications within the Project

last updated 08/02/2017
to top