2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Verifica dei Programmi Concorrenti
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Percorso Reti e Sistemi Informatici |
|---|---|---|---|
| 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 "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Insegnamenti "macro" nell'ambito dei quali può essere scelto
