.

  • Increase font size
  • Default font size
  • Decrease font size
Publications

OCL research is done at many universities in projects by students and PhD students. Results are often available as (unpublished) theses. The OCL Portal is a good place to make these theses public.

Title Filter     Display # 
# Article Title Author Hits
1 An Interactive Proof Environment for Object-oriented Specifications Achim D. Brucker 2050
2 Dresden OCL Toolkit Theses Birgit Demuth 1676