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

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

SP/2010214

Štolfa Svatopluk Ing., Ph.D.

01. 01. 2010 - 31. 12. 2010

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.

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.

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ší.