Abstract State Machines

Dottorato di Ricerca in Informatica - XXVII ciclo

Docente

Alessandro Bianchi
Dipartimento di Informatica - V Piano
Tel. 080 544 2283
Email bianchi@di.uniba.it
Pagina Web http://www.di.uniba.it/~bianchi/

Ricevimento studenti:

• mercoledì dalle 15.30 alle 17.30 - Dipartimento di Informatica - Bari;
• ora e luogo definiti per appuntamento.

Il Corso

Obiettivi: Il corso intende sviluppare le competenze culturali di base sul formalismo delle Abstract State Machines (ASM) e sul metodo di sviluppo di sistemi complessi ASM-based.
E' richiesto che gli studenti abbiano le conoscenze di base fornite nei corsi triennali di Informatica, e abbiano sviluppato capacità di astrazione e formalizzazione. Condizione necessaria per seguire proficuamente il corso è il desiderio di applicare le conoscenze per indagare fenomeni che si presentano in pratica.

Bibliografia

• E. Börger, R. Stärk, Abstract State Machines, Springer 2003
• Articoli e lucidi riferiti / distribuiti durante le lezioni.

Sillabo del corso

Aggiornamenti e Avvisi

• 29 maggio 2012 Nella pagina del programma sono pubblicate le dispense relative all'esempio di applicazione di ASM a Grid.
• 28 maggio 2012 Nella pagina del programma sono pubblicate le dispense relative agli esempi di applicazione di ASM a Mobile Ad-hoc Network e al protocollo BITTorrent.
• 3 maggio 2012 Nella pagina del programma sono pubblicate le dispense relative alle DASM e all'analisi delle proprietà.
• 16 aprile 2012 Nella pagina del programma sono pubblicate le dispense relative al metodo ASM.
• 11 aprile 2012 Nella pagina del programma sono pubblicate le dispense di presentazione del corso, di introduzione alle ASM e dei concetti di base delle ASM.
• 2 aprile 2012 Questa pagina è on line.