CLIPS - podstawy języka regułowego udostępnianego przez CLIPS, moduły, interakcja z użytkownikiem.
Drools I - podstawy języka udostępnianego przez Drools, podstawowe sterowanie wnioskowaniem, konfiguracja środowiska Eclipse do współpracy z Drools Expert i Drools Flow.
Drools II - diagramy DroolsFlow, interakcja z użytkownikiem, zaawansowane sterowanie wnioskowaniem.
HeKatE Ia - ARD - pierwszy etap wizualnego modelowania w metodologii HeKatE (VARDA).
HeKatE Ib - ARD - pierwszy etap wizualnego modelowania w metodologii HeKatE (HJEd).
HeKatE II - XTT - drugi etap wizualnego modelowania w metodologii HeKatE.
HeKatE III - HMR - fizyczna implementacja systemu, formalna weryfikacja modelu, oraz integracja z JAVA w celu wykonania GUI.