Specifying Component Invariants with OCL

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing. Specifying Component Invariants with OCL. In GI Jahrestagung (2). pages 600-607, 2001.

@inproceedings{HennickerBKW01,
  title = {Specifying Component Invariants with OCL},
  author = {Rolf Hennicker and Hubert Baumeister and Alexander Knapp and Martin Wirsing},
  year = {2001},
  tags = {OCL},
  researchr = {https://researchr.org/publication/HennickerBKW01},
  cites = {0},
  citedby = {0},
  pages = {600-607},
  booktitle = {GI Jahrestagung (2)},
}