2013
2013
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Modelli e sistemi concorrenti
Informazioni generali
Corso di Laurea Informatica Percorso Progettazione e analisi del software
CFU 6 Università BOLOGNA
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 5 CFU nell'area A - Fondamenti
  • 1 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Automi, labeled transition systems, equivalenze linear-time
    • * ALF - Automi e Linguaggi Formali
      Automi e linguaggi formali, Equivalenze branching-time
    • * ALF - Automi e Linguaggi Formali
      Semantica dei linguaggi di programmazione Semantica Operazionale strutturata, CCS
    • * ALF - Automi e Linguaggi Formali
      Semantica dei linguaggi di programmazione Sottoclassi di espressività di CCS
    • * ALF - Automi e Linguaggi Formali
      Logica HML, con aggiunta di ricorsione
  • I - Ingegneria del software
    • * TVV - Testing, Verifica e Validazione
      Equivalence-checking, Model-checking, strumento CWB

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa