Research
back-to-Alberto Pettorossi home

 

 
1. mapMAP  Research Center on "Advanced Programming Methodologies" 
 

 
2. Program Transformation
 

 
3. Research  Papers  
and 

     Papers on Epistemology and Artificial Intelligence

 

 
4. Talks
 

 
5. The Map System
 

 
6. Logic Programming
 

 
7. Special Issues of FUNDAMENTA INFORMATICAE on Program Transformations
     Part I:  Vol. 66, No. 4 April-May 2005 
     Part II: Vol. 69, Nos. 1-2 Winter 2005-2006

Old Research Projects
·  Galileo Project with ENS, Cachan,   France (http://www.crui.it/)
·  Sistemi formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software (details)
 ========================================================================