SubjectsSubjects(version: 845)
Course, academic year 2018/2019
   Login via CAS
Advanced topics in distributed and component-based systems II - NSWI058
Title in English: Výběrový seminář z distribuovaných a komponentových systémů II
Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
Faculty: Faculty of Mathematics and Physics
Actual: from 2015 to 2019
Semester: summer
E-Credits: 6
Hours per week, examination: summer s.:0/4 C [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: English
Teaching methods: full-time
Additional information: http://d3s.mff.cuni.cz/research/seminar
Note: you can enroll for the course repeatedly
Guarantor: RNDr. Jan Kofroň, Ph.D.
Class: DS, softwarové systémy
Informatika Mgr. - volitelný
Classification: Informatics > Software Engineering
Annotation -
Last update: 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.
Literature - Czech
Last update: T_KSI (03.05.2006)

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

Syllabus -
Last update: 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.

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html