COO approach to support cooperation in software developments

The COO system proposes a framework to organise the cooperation between developers of complex software systems. The key idea of COO is to base software process correctness on a safe transaction model: COO promotes an original advanced transaction model which integrates some general properties that define a very permissive core synchronisation protocol, and process specific knowledge that allows the gearing of the core protocol towards process characteristics