Název projektu
Znalostní modelování a jeho využití v softwarovém inženýrství II
Kód
SP2016/100
Řešitel
Období řešení projektu
01. 01. 2016 - 31. 12. 2016
Předmět výzkumu
Cílem projektu je další rozvoj, výzkum a vývoj v oblasti znalostního modelování zaměřeného zejména na využití v softwarovém inženýrství pro modelování softwarových procesů a zefektivnění pracovních postupů modelování procesů. Projekt je směřován na další rozvoj a rozšíření metodiky a metamodelu pro znalostní modelování, která byla vyvinuta týmem účastnícím se tohoto projektu. Dále pak plánujeme další rozvoj teoretických základů formálního modelování, jejichž využití bude demonstrováno v oblasti softwarových procesů a v neposlední řadě pak také vývoj prototypových nástrojů umožňujících a demonstrujících efektivní transfer teoretických poznatků do praxe. Výsledkem bude další rozšíření metodiky, aplikace teoretických znalostí do praxe a zejména publikační činnost spojená s výsledky zamýšleného výzkumu a vývoje. Nedílnou součástí projektu je pak také rozšiřování a formování našeho výzkumného týmu podporou studentů, kteří se podílejí a budou podílet na dalším výzkumu a vývoji a přispějí svými výsledky do publikačních výstupů.
Členové řešitelského týmu
Mgr. Marek Menšík, Ph.D.
prof. RNDr. Marie Duží, CSc.
Ing. David Ježek, Ph.D.
Ing. Jan Kožusznik, Ph.D.
Ing. Svatopluk Štolfa, Ph.D.
Ing. Jakub Štolfa, Ph.D.
Ing. Břetislav Paláček
Ing. Radoslav Štrba, Ph.D.
Ing. Jan Czopik
Ing. Michal Fait, Ph.D.
Ing. Miroslav Stopka
Bc. Tereza Kovalová
Bc. Tomáš Mocek
Bc. Jakub Vaněk
Bc. Dominik Ther
Bc. Ladislav Boštík
Bc. Lenka Ondryášová
Bc. Petr Bojko
Bc. Mário Červeň
Bc. Michal Krajňák
Ing. Lukáš Raška
Specifikace výstupů projektu (cíl projektu)
Aplikační oblasti projektu jsou:
1. Výzkum a vývoj metodiky znalostního modelování a její aplikace v softwarovém inženýrství
2. Výzkum a vývoj inferenčního stroje TIL-Script
3. Teorie a praxe komputačních znalostí
Tyto aplikační domény sdílejí společné teoretické základy z oblasti znalostního modelování a tím napomáhají přímé implementaci teoretických výsledků do praxe. Využití inferenčního stroje je pak plánováno i pro aplikaci znalostního modelování v softwarovém inženýrství a v teorii komputačních znalostí.