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