Alcune Applicazioni delle Abstract State Machines
Dottorato di Ricerca in Informatica - XXVIII ciclo
Docente
Alessandro Bianchi
Dipartimento di Informatica - V Piano
Tel. 080 544 2283
Email alessandro.bianchi@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.
Aggiornamenti e Avvisi
- 3 giugno 2013 Nella pagina del programma sono pubblicate
le dispense relative alla modellazione mediante ASM di un protocollo di sicurezza per MANET
- 29 maggio 2013 Nella pagina del programma sono pubblicate
le dispense relative alla modellazione mediante ASM di un Grid
- 23 maggio 2013 Nella pagina del programma sono pubblicate
le dispense relative all'analisi delle proprietà mediante ASM e alla modellazione di DSR
- 15 maggio 2013 Nella pagina del programma sono pubblicate
le dispense aggiornate relative al metodo ASM; sono
inoltre pubblicate le dispense relative alle Distributed ASM
- 10 maggio 2013 Nella pagina del programma sono pubblicate
le dispense relative al metodo ASM
- 30 aprile 2013 Nella pagina del programma sono pubblicate
le dispense relative ai concetti di base delle ASM
- 19 aprile 2013 Questa pagina è on line. Inoltre, nella
pagina del programma sono pubblicate le dispense relative alla presentazione del corso
e alla introduzione alle ASM