POLITECNICO DI MILANO DOTTORATO DI RICERCA IN I NGEGNERIA I NFORMATICA E AUTOMATICA Personalizzazione Formale di Notazioni Grafiche Tesi di Dottorato di: Luciano Baresi Relatore: Prof. Mauro Pezz` e Controrelatore: Prof. Genoveffa Tortora Tutore: Prof. Carlo Ghezzi Coordinatore del Dottorato: Prof. Sergio Bittanti IX ciclo