Formálna špecifikácia
(sylaby štátnic magisterského štúdia informatiky - plná verzia)
- 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