Coordination contracts for Java applications

Coordination contracts are a modelling primitive, based on methodological and mathematical principles, that facilitates the evolution of software systems. For this approach to be usable in real applications, it requires a tool to support system development and evolution using coordination contracts. Thus, A coordination development environment (CDE) is developed to help programmers to develop Java applications using it.</p