Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Laboratorio di metodi formali

Docente: Bernardinello

 

Crediti: 4 cfu

 

Obiettivi formativi

 

Conoscenze

 

Algoritmi, tecniche e strumenti software per lo sviluppo, la specificazione e l'analisi di modelli di sistemi concorrenti a eventi discreti; più in particolare, strumenti per il disegno e l'analisi di modelli fondati sulle reti di Petri.

Nozioni di base sulle tecniche e sui metodi formali per l'analisi statica e dinamica di codice.

 

 

Capacità

 

Progettare e usare strumenti software per il disegno e l'analisi di sistemi concorrenti a eventi discreti; usare strumenti software per l'analisi statica e dinamica di codice.

 

 

Programma

 

Modelli di sistemi concorrenti a eventi discreti e rappresentazioni concrete.

Algoritmi e strutture dati per le reti di Petri.

Panoramica di strumenti software per il disegno, l'analisi e la simulazione di modelli di sistemi concorrenti.

Cenni a tecniche e metodi per l'analisi statica e dinamica di codice.

Esperimenti d'uso di strumenti software.

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 25/03/2011