1 Metodologie di Programmazione

2 Contenuto generale §tecniche per la programmazione orientata ad oggetti (in piccolo) §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

3 Struttura del corso 1 (in corsivo le parti non trattate nel testo) §implementazione di linguaggi ad alto livello l interpretazione, compilazione, implementazioni miste §programmazione come decomposizione guidata da astrazioni l meccanismi di astrazione: parametrizzazione, specifica l tipi di astrazione: procedure, tipi di dato astratti, iterazione astratta, gerarchie di tipi §cenni di semantica operazionale di Java l classi, oggetti, metodi, gerarchie l il modello di esecuzione

4 Struttura del corso 2 (in corsivo le parti non trattate nel testo) §astrazioni procedurali §astrazioni sui dati §iterazione astratta §gerarchie di tipi §polimorfismo e, se ci sarà tempo.... §cenni di programmazione concorrente in Java §tecniche di testing

5 Spirito del corso 1 §metodologie di programmazione orientata ad oggetti l esemplificate utilizzando Java l non tutto Java e non solo Java §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 lastrazione attraverso specificazione invece di (o in aggiunta a) codice Java –specifiche informali

6 Spirito del corso 2 §specifiche, implementazioni, dimostrazioni di correttezza l relazioni formali fra due specifiche, fra una specifica e una implementazione, etc. §le dimostrazioni sono tanto importanti quanto le implementazioni §ogni meccanismo di astrazione ha associata una particolare sequenza di operazioni di specifica, implementazione e dimostrazione l che ci porterà ad utilizzare sottoinsiemi di costrutti Java coerenti §non è compito di questo corso introdurre il linguaggio nella sua interezza l nè tanto meno le sue librerie

7 Materiale didattico, esame, istruzioni per luso del corso §in aggiunta al (non in sostituzione del) libro di testo, i lucidi utilizzati nelle lezioni e nelle esercitazioni (in formato html e di presentazione powerpoint scaricabile) sono disponibili allindirizzo §ricevimento l mercoledì dalle alle l su richiesta, ogni volta che sia necessario §esame = prova scritta + orale l ammissione allorale con votazione >= 15/30 nello scritto l 2 prove intermedie che possono rimpiazzare la prova scritta §consigli l seguire il corso (e soprattutto le esercitazioni), mantenendosi al passo con lo studio l partecipare (attivamente) alle esercitazioni l sostenere le prove intermedie