The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.