Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
didattica:magistrale:csd:ay_1819:main [2018/10/06 08:32] flavio [Course Contents] |
didattica:magistrale:csd:ay_1819:main [2020/09/17 16:55] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Complex System Design ====== | ====== Complex System Design ====== | ||
- | Le lezioni del corso di Complex Systems Design riprenderanno il giorno 18 Ottobre 2018 | ||
- | Flavio Corradini | + | ORARIO DELLE LEZIONI: |
- | ---- | + | - GIOVEDI' DALLE 16:00 ALLE 18:00 |
+ | |||
+ | - VENERDI' DALLE 09:00 ALLE 13:00 | ||
===== News ===== | ===== News ===== | ||
- | <WRAP center round important 95%> | + | |
- | * <wrap em>**date**</wrap>: news | + | Le lezioni del corso di Complex Systems Design riprenderanno il giorno 18 Ottobre 2018 |
- | </WRAP> | + | |
---- | ---- | ||
Line 54: | Line 55: | ||
</WRAP> | </WRAP> | ||
---- | ---- | ||
+ | |||
+ | |||
===== Study material ===== | ===== Study material ===== | ||
+ | |||
+ | - R. Milner: A Calculus of Communicating Systems. LNCS 92, Springer (1980). | ||
+ | |||
+ | - A. Aldini, M. Bernardo, F. Corradini: A Process Algebraic Approach to Software Architecture Design. Springer (2009). | ||
+ | |||
+ | - Altre letture ad articoli di ricerca, selezionati durante il corso. | ||
+ | |||
<WRAP box round center 95%> | <WRAP box round center 95%> | ||
See the [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2018*N0*N0*S2*14564*7550&ANNO_ACCADEMICO=2018&mostra_percorsi=S|description on ESSE3]] | See the [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2018*N0*N0*S2*14564*7550&ANNO_ACCADEMICO=2018&mostra_percorsi=S|description on ESSE3]] | ||
Line 60: | Line 70: | ||
---- | ---- | ||
===== Exams ===== | ===== Exams ===== | ||
+ | |||
+ | Sviluppo di un progetto svolto in gruppi. | ||
+ | |||
<WRAP box round center 95%> | <WRAP box round center 95%> | ||
Consult the [[https://didattica.unicam.it|ESSE3 portal]] | Consult the [[https://didattica.unicam.it|ESSE3 portal]] | ||
</WRAP> | </WRAP> |