algebraická špecifikácia - signatúra a axiómy, algebraická
špecifikácia v jazyku SL, modulárny návrh algebraickej
špecifikácie (skladanie špecifikácií, parametrické
špecifikácie), špecifikácia výnimočných a chybových stavov
sémantika algebraickej špecifikácie - modely algebraickej
špecifikácie, rôzne prístupy charakterizácie sémantiky
algebraickej špecifikácie (iniciálna, voľná a behaviorálna
sémantika), sémantické požiadavky pri skladaní špecifikácií
(dostatočná úplnosť a konzistentnosť), hierarchická sémantika
algebraickej špecifikácie
konštruktívne algebraické špecifikácie - konštruktory,
induktívny návrh axióm (pravidiel), výpočtový model algebraických
špecifikácií (prepisovanie termov), kanonická špecifikácia
implementácia špecifikácie - implementácia resp. behaviorálna
implementácia špecifikácie
ekvacionálna logika - ekvacionálne dokazovania v jednodruhovom,
a mnohodruhovom prostredí, dokazovanie v induktívnych teóriách,
dokazovanie behaviorálnych vlastností
Z-špecifikácie - preddefinované typy v špecifikačnom jazyku Z
(množiny, typy, logické funkcie a kvantifikátory, relácie
a funkcie), špecifikačné schémy (skladanie špecifikácií,
generické špecifikácie)
postupné zjemnenie Z-špecifikácií, vývoj programu zo
špecifikácií, princípy návrhu dátových štruktúr a algoritmov
pomocou Z