Odvozování programů ze specifikací – Bc. Matúš Goljer
Bc. Matúš Goljer
Master's thesis
Odvozování programů ze specifikací
Deriving programs from specifications
Anotácia:
Ciel tejto práce je prezentovať formalizmy používané v odvodzovaní programov z matematických špecifikácií. V prvej časti práce je predstavený teoretický základ súvisiacich konceptov z teórie kategórií a relačnej algebry. V druhej časti je predstavená trieda optimalizačných problémov. Vybrané problémy sú použité ako príklady aplikácie algebraického prístupu k známym princípom návrhu algoritmov: hladovým …viacAbstract:
Objective of this thesis is to present formalisms used in program derivation from mathematical specifications. In the first part of the thesis, the basic theoretical background in relevant concepts from category theory and algebra of relations is presented. In the second part a class of Optimization problems is explored. These are used as case studies of application of algebraic approach to known algorithm …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 27. 5. 2013
Identifikátor:
https://is.muni.cz/th/oqkxe/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2013
- Vedúci: RNDr. Libor Škarvada
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Artificial Intelligence and Natural Language Processing
Práce na příbuzné téma
- Žádné práce na příbuzné téma.