Search dblp for Publications

export results for "Specifying Component Invariants with OCL"

 download as .bib file

@inproceedings{DBLP:conf/gi/HennickerBKW01,
  author       = {Rolf Hennicker and
                  Hubert Baumeister and
                  Alexander Knapp and
                  Martin Wirsing},
  title        = {Specifying Component Invariants with {OCL}},
  booktitle    = {{GI} Jahrestagung {(1)}},
  series       = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
  volume       = {157},
  pages        = {600--607},
  publisher    = {Konstanz UVK-Verl.-Ges.},
  year         = {2001}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.