2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Verifica dei Programmi Concorrenti - Parte A
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Percorso Reti e Sistemi Informatici |
|---|---|---|---|
| CFU | 6 | Università | TORINO |
| Ore di didattica frontale per CFU | 60 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 2 CFU nell'area D - Linguaggi
- 2 CFU nell'area H - Computazione su rete
- 2 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
- D - Linguaggi
-
*
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 - I - Ingegneria del software
-
*
PSS - Processi di Sviluppo del Software
Processi di sviluppo del softare -
*
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
