Formální modelování softwarových procesů – Břetislav Paláček
Břetislav Paláček
Diplomová práce
Formální modelování softwarových procesů
Formal Modeling of Software Processes
Anotace:
V této diplomové práci jsem se zaměřil na problematiku Ontologií, a na jejich využití jako nástroj pro reprezentaci znalostí v aplikacích zaměřujících se na umělou inteligenci, expertní systémy či pro formální modelování softwarových procesů. Tento text popisuje široké popisné vlastnosti ontologií a jejich přínos. Tato práce je dále zaměřena na tvorbu grafického editoru nejen softwarových procesů založený …víceAbstract:
In this thesis, I have focused on the issue of ontologies, and their use as a tool for knowledge representation in applications focusing on artificial intelligence, expert systems or for formal modelling software processes. This text describes the general descriptive characteristics of ontologies and their benefits. This work is also focused on creating graphical editor not only software processes …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2013
Identifikátor:
http://hdl.handle.net/10084/98584
Obhajoba závěrečné práce
- Obhajoba proběhla 11. 6. 2013
- Vedoucí: Svatopluk Štolfa
- Oponent: Michal Košinár
Citační záznam
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Improving NLP Systems with Common Sense Knowledge and Reasoning
Zuzana Nevěřilová -
Výuka reprezentace znalostí
Josef KAZÁK -
Reprezentace komputačních znalostí a návrh inferenčního stroje pro TIL
Michal Fait -
Formální dedukce v grafových systémech reprezentace znalostí
Martin ŽÁČEK -
Reprezentace znalostí pro účely havarijního plánování
Kateřina Gruňová -
Učení v Multiagentních systémech za pomocí symbolické reprezentace znalostí
Adam Albert -
Grafické ontologie
Michaela Judasová -
Ontologie sociální role pro potřeby syntézy řeči
Dita Salajková