Search results with tag "Ocl by example lecture"

OCL By Example Lecture - TU Dresden

Foundation: Assertions •An assertion is a predicate (i.e., a true–false statement) placed in a program to indicate that the developer thinks th t th di t i l t t th t l [Wiki di ]that the predicate is always true at that place [Wikipedia].

  Lecture, Example, Ocl by example lecture