Formalizace a semi-automatizace vývoje softwaru – cílem je vytvořit metodologie a nástroje, které umožňují formální přístup k vývoji softwaru a jeho částečnou automatizaci, což zvyšuje efektivitu a spolehlivost vývojového procesu.
Software Quality Assurance (SQA) – zaměření na zajištění kvality softwaru prostřednictvím procesů, standardů a technik, které zaručují, že software splňuje definované požadavky a je bez chyb.
Evidence Based Software Engineering (EBSE) – využívá vědecky ověřené přístupy a data k optimalizaci a řízení softwarových inženýrských procesů, založené na důkazech z empirických studií.
SPICE (Software Process Improvement and Capability Determination) – model pro hodnocení a zlepšování procesů v softwarovém vývoji, který poskytuje strukturovaný přístup ke zlepšování schopností vývojových týmů.
Automotive SPICE – specifická aplikace SPICE pro automobilový průmysl, zaměřená na zlepšení procesů v oblasti vývoje a kvality softwaru pro automobilový sektor.
Distribuované softwarové architektury – studie a vývoj architektur, které podporují distribuované systémy, umožňující rozložení výpočetních úloh na více komponent běžících na různých fyzických nebo virtuálních strojích.
Programovací technologie
Ing. David Ježek, Ph.D., Ing. Jan Kožusznik, Ph.D., Ing. Svatopluk Štolfa, Ph.D., Ing. Jakub Štolfa, Ph.D., prof. Ing. Ivo Vondrák, CSc.