it gb
it gb

Metodi Formali per lo Sviluppo del Software

Presentazione

Il gruppo di ricerca in Metodi Formali per lo Sviluppo del Software ha l’obiettivo di studiare metodi formali e realizzare strumenti di ausilio per progettisti e programmatori di software, al fine di migliorare la qualità del software prodotto in termini di correttezza, affidabilità, riuso. Il lavoro di ricerca comprende lo studio di modelli formali e costrutti per linguaggi di programmazione funzionali, orientati agli oggetti, concorrenti, lo studio di teorie di tipi, nonché di algoritmi di analisi statica e dinamica di programmi.

Approfondimenti

Il gruppo di ricerca si distingue in particolar modo per i seguenti temi:

  • fondamenti del lambda calcolo e teorie di tipi intersezione;
  • costrutti e metodologie per linguaggi di programmazione orientati agli oggetti;
  • sintesi automatica di componenti e oggetti;
  • modelli formali per la concorrenza e la comunicazione;
  • teorie di contratti, tipi comportamentali, protocolli di comunicazione;

News

Non ci sono news al momento.

Contatti

Luca Padovani

+ 39 011 670 6777

4uYEXvdR9BeADz7r2bFn6I]#[pn@pWjC4x6Dyw80dkT3moA