Sylabus
Seminář se zabývá studiem aktuálních výsledků z oblastí distribuovaných a komponentových systémů. Zaměření semináře zahrnuje metody formální specifikace, formální verifikace, model checking, analýzy kódu, model driven development, správu konfigurace a software deployment a hodnoceni výkonnosti. Zvláštní pozornost je věnována vrstvě middleware a nejnovějším pokrokům v souvisejích programových technologiích pro tvorbu distribuovaných aplikací - jak objektových, tak komponentových.
V rámci semináře účastníci a hosté referují o svých nejnovějších výsledcích výzkumu, a také o výsledcích aktuálně publikovaných ve sbornících hlavních mezinárodních konferencí a v odborných časopisech.
Anotace
Seminář se zabývá studiem aktuálních výsledků z oblastí distribuovaných a komponentových systémů. Zaměření semináře zahrnuje metody formální specifikace, formální verifikace, model checking, analýzy kódu, model driven development, správu konfiguracea software deployment a hodnoceni výkonnosti.
Zvláštní pozornost je v ěnována vrstvě middleware a nejnovějším pokrokům v souvisejích programových technologiích pro tvorbu distribuovaných aplikací - jak objektových, tak komponentových.