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.
Poslední úprava: G_I (26.05.2005)
This course is devoted to reports on the current "hot" topics in the areas of distributed and component-based systems. The focus of the course includes formal specification methods, formal verification, model checking, code analysis, model driven development, software configuration and deployment, and performance evaluation. Special attention is paid to middleware and advances in the related programming technologies, both object-oriented and component-based.
Poslední úprava: G_I (26.05.2005)
Podmínky zakončení předmětu -
Zápočet se uděluje za prezentaci na semináři v anglickém jazyce. Téma je třeba si nechat schválit garantem nebo vyučujícím předmětu. Požadavky na prezentaci (její délku, hloubku, a další parametry) se mohou lišit v závislosti na konkrétním typu prezentace a jejím tématu. Posouzení prezentace, tedy to, jestli za ni student dostane zápočet, je plně v kompetenci garanta předmětu. Z povahy věci nelze přesné požadavky obecně stanovit. V průběhu semestru se student o zápočet může pokusit maximálně pětkrát. Zároveň úspěšné splnění podmínek pro získání zápočtu nevylučuje další prezentaci v rámci tohoto předmětu. Součástí požadavků je i aktivní účast (tedy položení dotazu) alespoň na 80% seminářů v semestru.
Poslední úprava: Kofroň Jan, doc. RNDr., Ph.D. (23.06.2025)
The credits are awarded for the presentation at the seminar. The topic must be approved by a guarantor of the course. Presentation requirements (its length, depth, and other parameters) may vary depending on the specific type of presentation and its topic. The assessment of the presentation, i.e., whether the student receives the credits or not, is fully in the competence of the course guarantor. By nature, it is not possible to determine the exact requirements in general. During the semester, the student can attempt a maximum of five times. At the same time, the successful fulfilment of the conditions for obtaining credit does not exclude further presentation within this course. Part of the requirements is also active participation (i.e., asking questions) at least 80% of seminars in the semester.
Poslední úprava: Kofroň Jan, doc. RNDr., Ph.D. (23.06.2025)
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.
Poslední úprava: G_I (26.05.2005)
This course is devoted to reports on the current "hot" topics in the areas of distributed and component-based systems. The focus of the course includes formal specification methods, formal verification, model checking, code analysis, model driven development, software configuration and deployment, and performance evaluation. Special attention is paid to middleware and advances in the related programming technologies, both object-oriented and component-based.
In the course, attendees and guest speakers report on their recent research results, and also report on research results recently published in major international conference proceedings and journals.
