| | | |  corso | | | |
Fondamenti dell'Informatica: Modelli e Specifiche per la Concorrenza
(Corso di Laurea in Informatica (quinquennale))
| Codice: | 4I078 | Crediti: | 6 | Semestre: | 2 | Sigla: | FMS | |
Docente
Andrea Maggiolo Schettini
Tel. 0502212700Prerequisiti
I corsi di base su linguaggi e semantica.
Obiettivi di apprendimento
Scopo del corso e` di esporre il problema della modellizzazione e della specifica
di sistemi concorrenti e distribuiti usando diversi formalismi,
Reti di Petri, Statecharts, UPPAAL.
Descrizione
Il corso introdurra` Reti di Petri, Statecharts, UPPAAL Di ogni formalismo si
affronteranno gli aspetti semantici e si presenteranno strumenti automatici
che verranno utilizzati per sviluppare specifiche e prove per casi di esempio concreti.
English Description
The course will introduce Petri nets, Statecharts and UPPAAL.
Of each of the formalisms considered semantic aspects will be tackled, and
automatic tools for specification and proofs will be described and used
to develop specification and proofs for concrete example cases.
Programma
- Introduzione (2 ore):
- Reti di Petri, Statecharts, UPPAAL (12 ore);
- Strumenti software di sviluppo di specifiche e di prova. (11 ore):
| Ore lezione: | 25 | Ore esercitazione: | 15 | | | |
Bibliografia
Il docente fornira` articoli sui tre formalismi considerati.
Modalità di esame
Scritto e orale
