2014
2014
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 con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
