1. Krótkie przypomnienie co było tydzień temu.
2. JML zapoznanie się ze składnią, przykłady.
3. Wyrażenia JML.
4. Kontrakty operacji w JML.
5. Niezmienniki.
6. Pola i metody modelowe.
7. Wspieranie weryfikacji, niezmienniki pętli.
8. Porównanie OCL i JML.
9. Podsumowanie.