|
|
|
||
Last update: G_I (26.05.2005)
|
|
||
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 |
|
||
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. |