1 Metodologie di Programmazione §tecniche per la programmazione orientata ad oggetti §esemplificate utilizzando il linguaggio Java §testo di riferimento (fino al Cap. 10): l Barbara Liskov, Program Development in Java, Abstraction, Specification and Object-Oriented Design, Addison-Wesley 2001

2 Prerequisiti del Corso §LIP (I MODULO) §Fondamenti di Programmazione §Frequenza in parallelo del II MODULO DI LIP §Le lezioni teoriche avranno argomenti comuni tra i due corsi

3 Contenuti del corso 1 (in corsivo le parti non trattate nel testo) §Ereditarieta’ in Java §cenni di semantica operazionale di Java l classi, oggetti, metodi, gerarchie l estensione di quella fatta nel corso di FP

4 Contenuti del corso 2 §Parte metodologica §Vedremo come utilizzare i meccanismi di astrazione di un linguaggio ad alto livello (Java) per sviluppare programmi di buona qualita’: che siano facili da capire e allo stesso tempo facili da mantenere e da modificare §Non è compito di questo corso introdurre il linguaggio nella sua interezza l nè tanto meno le sue librerie

5 Contenuti del corso 2 §per sviluppare programmi di notevole dimensione e’ necessario decomporre il problema in sottoproblemi §questo processo di decomposizione deve essere guidato da passi di astrazione §e’ necessario cambiare il livello di dettaglio (astrarre) in modo da buttare via dettagli non importanti, rendere uguali cose diverse etc.

6 Contenuti del corso 3 §vedremo un insieme di tecniche basate su vari tipi di astrazione l alcune supportate da Java in modo più o meno diretto l la più importante non è supportata da Java l’astrazione attraverso la specifica si realizza aggiungendo al codice Java –specifiche informali (descrivono cosa deve fare un programma)

7 Astrazione tramite Specifica §Vedremo la separazione fondamentale tra specifica ed implementazione (ovvero tra cosa un programma fa e come lo fa) §Vedremo come la specifica deve essere utilizzata per mascherare l’implementazione (ovvero per astrarre dalle varie implementazioni) §Relazione tra specifica ed implementazione, dimostrazioni di “correttezza” l relazioni formali fra 2 specifiche, fra 1 specifica ed una implementazione, etc. §Le dimostrazioni sono tanto importanti quanto le implementazioni

8 Contenuti del corso 3 §meccanismi di astrazione di Java (che consideremo) l astrazioni procedurali l astrazioni sui dati l iterazione astratta l gerarchie di tipi l polimorfismo §ogni meccanismo di astrazione di Java ha associata una particolare sequenza di operazioni di: specifica, implementazione e dimostrazione

9 Materiale didattico §in aggiunta al (non in sostituzione del) libro di testo, i lucidi utilizzati nelle lezioni e nelle esercitazioni (di presentazione powerpoint scaricabile) sono disponibili sulla pagina web §verranno pubblicati settimanalmente sulla pagina web in forma aggiornata §i lucidi costituiscono un supporto fondamentale per seguire le lezioni (e’ consigliabile averne copia)

10 Esame, istruzioni per l’uso del corso §esame = prova scritta + orale l l’esame orale deve essere sostenuto nella stessa sessione dello scritto l 2 prove intermedie che possono rimpiazzare la prova scritta (in tal caso l’orale deve essere sostenuto entro luglio 2007)

11 Verifiche Intermedie §prima settimana di aprile + ultima settimana di maggio §Non e’ possibile recuperare le verifiche §Chi non e’ ammesso all’orale con le verifiche intermedie dovra’ sostenere lo scritto normale

12 Orario (modificato) §Martedi’ AULA 2 (MP) §Venerdi’ LAB 2 (LIP)

13 Nota §Nuovo ordinamento dall’anno accademico §Dall’anno prossimo partira’ il primo anno con il nuovo piano di studi

14 Esami di Informatica nuovo ordinamento §Programmazione 1: 12 crediti al PRIMO §Algoritmica : 12 crediti al PRIMO §Programmazione 2: 9 crediti al SECONDO

15 Cosa succede agli studenti del vecchio ordinamento? §Potrete continuare con il vostro piano di studi §Verranno comunque mantenuti gli appelli d’esame di tutte le materie §Questo quindi e’ probabilmente l’ultimo anno in cui ci saranno lezioni di MP e LIP