Výběrový seminář z distribuovaných a komponentových systémů II - NSWI058

• Anglický název: Advanced topics in distributed and component-based systems II
• Zajišťuje: Katedra distribuovaných a spolehlivých systémů (32-KDSS)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2020
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: angličtina
• Způsob výuky: prezenční
• Další informace: http://d3s.mff.cuni.cz/research/seminar
• Poznámka: předmět lze zapsat opakovaně
• Garant: doc. RNDr. Jan Kofroň, Ph.D.
• Třída: DS, softwarové systémy; Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Softwarové inženýrství

Anotace

čeština

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.

Poslední úprava: G_I (26.05.2005)

angličtina

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)

Literatura

Sborniky z mezinarodnich ACM a IEEE konferenci:

OOPSLA, ECOOP, Formal Methods, DOA, APSEC, ICSE a dalsich

seznam na http://nenya.ms.mff.cuni.cz/conf-conferences.phtml

Poslední úprava: T_KSI (03.05.2006)

Sylabus

čeština

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)

angličtina

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.

Poslední úprava: G_I (26.05.2005)