Sistemi formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software

     Old link: http://strudel.di.unipi.it/p40/p40.html
   
    Cofinanziamento MURST 1998. Coordinatore: Prof. G. Levi, Pisa.
    Filone 9: Tecniche di Trasformazione e Sintesi.  Old link: http://strudel.di.unipi.it/p40/tectra.html
    Responsabile: A. Pettorossi.
   Unità di Roma Tor Vergata: Filone 6: Modelli di specifica basati sulla teoria degli automi. Filone 9: Tecniche di trasformazione e sintesi.
    Slides della presentazione del Filone 9 al Workshop di Roma (Dicembre 1998) e al Workshop di Venezia (Gennaio 2000)