OCL: Bridging the Gap between Semi-Formal and Formal Specification

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “OCL: Bridging the gap between semi-formal and formal specification.” Freiburg, Germany, Sep. 30, 2002. Author copy: http://logicalhacking.com/publications/talk-brucker-ocl-2002/

BibTeX
@Misc{ talk:brucker:ocl:2002,
  date     = {2002-09-30},
  title    = {{OCL}: Bridging the Gap between Semi-Formal and Formal
              Specification},
  author   = {Achim D. Brucker},
  lecturer = {Achim D. Brucker},
  event    = {Meeting with Hitatchi},
  language = {USenglish},
  month    = {sep},
  address  = {Freiburg, Germany},
  day      = {30},
  year     = {2002},
  note     = {Author copy: \url{http://logicalhacking.com/publications/talk-brucker-ocl-2002/}},
}