HOL-OCL: Experiences, Consequences and Design Choices

By Achim D. Brucker and Burkhart Wolff.

Further Reading:
This presentation is based on the following publication:
A. D. Brucker and B. Wolff, “HOL-OCL: Experiences, consequences and design choices,” in UML 2002: Model engineering, concepts and tools, J.-M. Jézéquel, H. Hussmann, and S. Cook, Eds. Heidelberg: Springer-Verlag, 2002, pp. 196–211. doi: 10.1007/3-540-45800-X_17. Author copy: https://logicalhacking.com/publications/brucker.ea-hol-ocl-2002/

Please cite this work as follows:
A. D. Brucker and B. Wolff, “HOL-OCL: Experiences, consequences and design choices.” Dresden, Germany, Oct. 03, 2002. Author copy: https://logicalhacking.com/publications/talk-brucker.ea-hol-ocl-2002/

BibTeX
@Misc{ talk:brucker.ea:hol-ocl:2002,
  date     = {2002-10-03},
  author   = {Achim D. Brucker and Burkhart Wolff},
  title    = {{HOL-OCL}: Experiences, Consequences and Design Choices},
  lecturer = {Achim D. Brucker},
  event    = {UML 2002},
  address  = {Dresden, Germany},
  month    = {oct},
  day      = {3},
  language = {USenglish},
  year     = {2002},
  note     = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker.ea-hol-ocl-2002/}},
  pdf      = {https://logicalhacking.com/publications/talk-brucker.ea-hol-ocl-2002/talk-brucker.ea-hol-ocl-2002.pdf},
}