Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Per gli Studenti
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

 

Approfondimenti

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 25/03/2011