2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Verifica dei Programmi Concorrenti
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Percorso Metodi e Modelli per l'Informatica |
|---|---|---|---|
| CFU | 9 | Università | TORINO |
| Ore di didattica frontale per CFU | 90 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 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
- D - Linguaggi
- *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
tecniche di traduzione: compilatori e interpreti - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchine astratte e tecniche per la realizzazione dei linguaggi di programmazione - *
LF - Linguaggi Formali
linguaggi formali - H - Computazione su rete
- *
MIR - Modelli di Interazione in Rete
modelli di interazione in rete -
V - Varie
model checking - *
ARTC - Architettura delle Reti di Calcolatori
Architettura delle reti di calcolatori - I - Ingegneria del software
- *
PSS - Processi di Sviluppo del Software
Processi di sviluppo del softare - *
ASW - Architetture Software
architetture software - *
LMS - Linguaggi di Modellazione del Software
linguaggi di modellazione del software
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Insegnamenti "macro" nell'ambito dei quali può essere scelto
