Coordination contracts for Java applications

J. Gouveia, G. Koutsoukos, M. Wermelinger, Luís Andrade, J. L. Fiadeiro

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Article number101
Number of pages1
JournalInternational Conference on Software Engineering
Publication statusPublished - 2002

ASJC Scopus subject areas

  • Software

Cite this