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
   
Didattica
Metodi formali dell'Informatica

Docente: L. Pomello

Crediti: 6 CFU

Descrizione e Programma del Corso

Conoscenze: Vengono presentati metodi e tecniche formali per la specifica e lo sviluppo di modelli di sistemi concorrenti e l'analisi delle loro proprietà. Viene fornita una panoramica dei principali modelli, considerando in particolare le reti di Petri e i calcoli di processi e di agenti.

Abilità: Lo studente deve acquisire le basi metodologiche per lo sviluppo e la progettazione di modelli di sistemi concorrenti e la verifica delle loro proprietà; ed essere in grado di mettere in relazione e discutere i diversi approcci al modello di sistemi concorrenti.

Programma:

  • Rassegna delle tecniche formali di specifica e disegno di sistemi concorrenti.
  • Teoria generale delle reti di Petri: la struttura di un sistema e il comportamento non sequenziale; proprietà di comportamento e loro verifica.
  • Sistemi di transizioni e teoria delle regioni; specifica e sintesi.
  • Reti ad alto livello, reti stocastiche e reti temporizzate: cenni.
  • I modelli di processi comunicanti e le algebre di processi.
  • Semantica della concorrenza ed equivalenza all'osservazione.
  • Modelli di agenti mobili (cenni)

Vai al sito web del corso

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