Correct Realization of Interface Constraints with OCL

Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing. Correct Realization of Interface Constraints with OCL. In Robert B. France, Bernhard Rumpe, editors, «UML» 99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings. Volume 1723 of Lecture Notes in Computer Science, pages 399-415, Springer, 1999.

@inproceedings{TortBHW99,
  title = {Correct Realization of Interface Constraints with OCL},
  author = {Françoise Tort and Michel Bidoit and Rolf Hennicker and Martin Wirsing},
  year = {1999},
  tags = {OCL, constraints, UML},
  researchr = {https://researchr.org/publication/TortBHW99},
  cites = {0},
  citedby = {0},
  pages = {399-415},
  booktitle = {«UML» 99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings},
  editor = {Robert B. France and Bernhard Rumpe},
  volume = {1723},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}