doc. Ing. Karel Richta, CSc.

2011

Porozumění existujícímu kódu v softwarovém ekosystému je nezbytné jak pro organizaci, která daný ekosystém spravuje, tak pro samotné vývojáře, kteří v rámci něj pracují na jednotlivých systémech. Cílem tohoto projektu je vytvoření analytických postupů pro extrakci závislostí v softwarových ekosystémech založených na jazyku Java a jejich implementace v podobě interaktivní platformy pro vizualizaci a procházení těchto závislostí, která pomůže lépe porozumět a sledovat strukturu a evoluci softwarových ekosystémů založených na jazyku Java. Přínos tohoto projektu bude ověřen použitím vytvořených nástrojů a postupů na reálné případové studii. Projekt je připravován ve spolupráci se Software Composition Group Univerzity v Bernu.

2012

Předmětem projektu bude práce na moderních konceptech a technologiích v oblasti softwarového a webového inženýrství, který bude zahrnovat šest dílčích témat: (1) modelově řízený vývoj software, (2) interoperabilita objektových jazyků, (3) inteligentní filtrace novinových článků na Webu, (4) softwarové ekosystémy, (5) sémantická reprezentace webových služeb a aplikací, a (6) sémantika a dynamika zájmu uživatelů. Tento projekt umožní sjednocení těchto témat s cílem vylepšit organizaci práce efektivním řízením výzkumu, sjednotit hodnocení výsledků a vylepšit distribuci prostřeků na výzkum, která se bude odvíjet od konkrétních výsledků výzkumu.

2013

Cílem projektu je práce na moderních konceptech a technologiích v oblasti softwarového inženýrství, který bude zahrnovat čtyři dílčích témata: (1) modelově řízený vývoj software, (2) interoperabilita objektových jazyků, (3) softwarové ekosystémy a (4) událostmi řízené zpracování dat. Tento projekt umožní sjednocení těchto témat s cílem vylepšit organizaci práce efektivním řízením výzkumu, sjednotit hodnocení výsledků a vylepšit distribuci prostředků na výzkum, která se bude odvíjet od konkrétních výsledků výzkumu.

2011

Jazyk OCL je součástí standardu UML a představuje specifikační jazyk sloužící jako doplněk některých typů diagramů. Jedná se o prostředek pro formální definici omezení při modelování systémů. Nový způsob vývoje software s použitím řady modelů z různých pohledů a úrovní abstrakce, zahrnující transformace, které umožňují vzájemné přechody mezi modely je označován jako modelem řízený vývoj. Existují některé nástroje, které podporují modelování s využitím OCL, příp. i transformace těchto modelů. Zpravidla ale tyto transformace nejsou obousměrné a nejsou definované pro všechny potřebné případy. Projekt se zabývá právě takovými případy, kde zatím potřebné metody chybí. Cílem projektu je provést rešerši existujících nástrojů a navrhnout metody modelování s využitím jazyka OCL a definovat a implementovat transformace mezi modely s OCL omezeními s ohledem na MDD a round-trip engineering.