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
   
Enrolled
Laboratorio di metodi formali

Docente responsabile:  Lucia Pomello

PROGRAMMA

Obiettivi e contenuti

Studio di 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.

Acquisizione delle nozioni di base sulle tecniche e sui metodi formali 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.

Risultati di apprendimento previsti

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

Prerequisiti

Nozioni fondamentali sulla modellazione di sistemi concorrenti e sulle reti di Petri. Nozioni fondamentali relative all'analisi statica e dinamica di codice.

Aims and contents

Acquire notions on algorithms, techniques and software tools for the development, specification and analysis of models of discrete event concurrent systems; tools for the design and analysis of models based on Petri nets.

Acquire fundamental notions on techniques and formal models for the static and dynamic analysis of software code.

Program details

Discrete event models of concurrent systems, and concrete representations.

Algorithms and data structures for Petri nets.

Survey of software tools for the design, analysis, and simulation of models of concurrent systems.

Basic notions on techniques for the static and dynamic analysis of software.

Use of software tools.

Learning outcomes

Ability to design and use software tools for design and analysisi of discrete event concurrent systems; ability to use software tools for static and dynamic analysis of software.

Prerequisites

Fundamental notions about modelling concurrent systems and Petri nets. Fundamental notions about static and dynamic analysis of software.

Tipo esame:

  • Scritto e orale

Tipo valutazione:

  • Voto finale

 

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