Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:dcc:ay_1516:main [2016/02/25 18:08] indrit |
didattica:magistrale:dcc:ay_1516:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== News ===== | ===== News ===== | ||
| <WRAP center round important 95%> | <WRAP center round important 95%> | ||
| - | * <wrap em>**Insert the date here**</wrap>: the course web site is now on-line | + | * <wrap em>**February 29nd, 2016**</wrap>: The page is on-line |
| </WRAP> | </WRAP> | ||
| Line 10: | Line 10: | ||
| <WRAP box round 95% center> | <WRAP box round 95% center> | ||
| **Teacher**: | **Teacher**: | ||
| - | * [[http://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=207&ru=PO|Emanuela Merelli]] | + | * [[http://computerscience.unicam.it/merelli/|Emanuela Merelli]] |
| **Lessons schedule**: | **Lessons schedule**: | ||
| Line 16: | Line 16: | ||
| * Wednesday, 11am - 1pm (Room, D. M. Ritchie) | * Wednesday, 11am - 1pm (Room, D. M. Ritchie) | ||
| - | **Students reception hours**: | + | **Students Office hours**: |
| - | * Tuesday 5:30pm - 7:30pm | + | * Monday 4pm - 6pm, Palazzo Battibocca - 2nd Piano - Room n.CS-05 |
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| Line 23: | Line 23: | ||
| <WRAP box round 95% center> | <WRAP box round 95% center> | ||
| - | The course intends blablabla.... | + | - Be able to characterize the modelling of complex systems. |
| + | - Be able to apply methods, languages and techniques of the distributed calculus and coordination in modelling complex systems. | ||
| + | - Be able to design a multiagent system using prototyping environment. | ||
| + | - Be able to characterize the evolution of a model with the analysis of real phenomenological data. | ||
| </WRAP> | </WRAP> | ||
| Line 30: | Line 33: | ||
| <WRAP round 95% center box> | <WRAP round 95% center box> | ||
| - | .... | + | - Models and languages for distributed Calculus: process algebraic calculi, rule-based (CHAM), membrane-based (P-Systems). |
| + | - Coordination models and languages: Linda, Klaim | ||
| + | - Concurrent Programming paradigms: Agent-oriented, Actor-based. | ||
| + | - Multiagent modelling and simulation environments: REPAST | ||
| + | - Topological data analysis for driven modelling: S[B] | ||
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| Line 40: | Line 47: | ||
| **Reference books** | **Reference books** | ||
| - | * 1st book | + | - N. Khakpour, E. Merelli, M. Sirjani, L. Tesei. A Formal Approch to Multi-level Adaptive Systems: Modelling ad Analysis - Lecture Notes |
| - | * 2nd book | + | - M.Wooldrige, An Introduction to Multiagent Systems,John Wiley & Sons, 2009 |
| - | * ... | + | - L. Aceto, A.Ingosfdottier, K. Larsen Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, 2007 |
| - | * | + | - A. Zomorodiam, Topology for computing, Cambridge Univerisity Press, 2005 |
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| Line 54: | Line 61: | ||
| * Winter session dates here (2016) | * Winter session dates here (2016) | ||
| **Exam rules**: | **Exam rules**: | ||
| + | * Homeworks | ||
| + | * Development of a project (group or individual assignment). | ||
| ** Exam Results ** | ** Exam Results ** | ||
| * N/A | * N/A | ||
| </WRAP> | </WRAP> | ||
