Coordination contracts for Java applications

@inproceedings{Gouveia-al:ICSE02,
  author    = {Jo{\~{a}}o Gouveia and
               Georgios Koutsoukos and
               Michel Wermelinger and
               Lu{\'{\i}}s Andrade and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Coordination contracts for Java applications},
  booktitle = {ICSE},
  pages     = {714},
  publisher = {{ACM}},
  year      = {2002},
}