2010-11
2010-11
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Distributed Calculus and Coordination
| Informazioni generali | |||
| Corso di Laurea | Computer Science | Percorso | Master of Science Degree Course in Computer Science |
|---|---|---|---|
| CFU | 12 | Università | CAMERINO |
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 3 CFU nell'area A - Fondamenti
- 3 CFU nell'area D - Linguaggi
- 3 CFU nell'area H - Computazione su rete
- 3 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
- A - Fondamenti
- *
ALF - Automi e Linguaggi Formali
Coordination Languages. - *
ALF - Automi e Linguaggi Formali
Hybrid Automata. - *
ALF - Automi e Linguaggi Formali
Automata. - D - Linguaggi
- *
LF - Linguaggi Formali
KLAIM languages. - *
LF - Linguaggi Formali
KLAIM languages. - *
LF - Linguaggi Formali
KLAIM languages. - H - Computazione su rete
- *
FCD - Fondamenti del Calcolo Distribuito
Models for distributed and coordination calculus. - *
FCD - Fondamenti del Calcolo Distribuito
Models for distributed and coordination calculus. - *
FCD - Fondamenti del Calcolo Distribuito
Models for distributed and coordination calculus. - I - Ingegneria del software
- *
ASW - Architetture Software
Multi-agent systems: Reactive, Proactive and Intelligent. - *
ASW - Architetture Software
Multi-agent systems: Reactive, Proactive and Intelligent. - *
ASW - Architetture Software
Software architectures and Middlewares for modelling and simulation of multi-agent systems (HERMES V2).
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
