Studentská grantová soutěž - předchozí roky

Název projektu
Modelování, simulace a verifikace softwarových procesů II

Kód
SP/2010214

Řešitel
Štolfa Svatopluk Ing., Ph.D.

Období řešení projektu
1. 1. 2010 - 31. 12. 2010

Předmět výzkumu
Projekt si klade za cíl vybudovat odbornou platformu pro metodologii využitelnou při modelování, verifikaci a simulaci softwarových procesů. Projekt se zaměřuje na integraci stávajících metod a jejich doplnění o nové přístupy a metody, které v této oblasti dosud nenalezly své uplatnění, nebo jsou naším vlastním dílem.

Č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.
prof. RNDr. Petr Jančar, CSc.
prof. Ing. Ivo Vondrák, CSc.
PhDr. Martina Číhalová, Ph.D.
Ing. Tomáš Frydrych
Ing. Veronika Jůchová
Ing. Štěpán Kuchař, Ph.D.
Ing. Nikola Ciprich
Ing. Milan Pohančeník
Ing. Ľuboš Chupáč
Ing. Michael Alexander Košinár
Ing. Ada Böhm, Ph.D.
Ing. Svatopluk Štolfa, Ph.D.

Specifikace výstupů projektu (cíl projektu)
Kromě hlavního výsledku, tj. budování metodologie, budou dalším výsledkem tohoto grantu podklady pro přípravu projektů podaných v rámci externích grantových agentur a příprava praktického nasazení. V průběhu řešení předpokládáme standardní publikační a jiné výstupy – články v impaktovaných časopisech, konference, metodiky a postupy, disertace a diplomové práce k danému tématu a další.