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.
|Number of pages
|International Conference on Software Engineering
|Published - 2002
ASJC Scopus subject areas