Programmazione ii

L'insegnamento è incentrato attorno alle tematiche del progetto, realizzazione ed analisi di programmi secondo il paradigma object oriented. A tal fine l'insegnamento prevede sia una trattazione più astratta e principiata dell'argomento, che una presentazione più pratica e concreta, svolta attraverso esempi basati sul linguaggio di programmazione Java.

Riguardo ai principi, sono introdotti e discussi:

* l'uso di astrazioni di vario livello (come i metodi, i tipi di dato astratti, l'iterazione esterna, l'estensione e delega),

* alcuni strumenti concettuali per ragionare su tali astrazioni (come l'invariante di rappresentazione, la funzione di astrazione, le pre-/post-condizioni, gli effetti collaterali, l'induzione sui tipi di dato ),

* alcuni criteri di valutazione della qualità del progetto di codice object oriented (come l'incapsulamento, il data hiding, la manutenibilità, il riuso e l'estendibilità),

* alcune tecniche di verifica (come i test unitari) e di debugging.

Riguardo al linguaggio Java, sono presentati i seguenti aspetti del lignuaggio:

* costrutti di controllo del flusso (sequenza, iterazione e selezione),

* tipi di dati elementari,

* funzioni (metodi statici),

* classi (concrete, astratte ed interne),

* interfacce (con metodi di default),

* ereditariertà e polimorfismo,

* tipi generici (uso e cenni alla progettazione e realizzazione, vincoli di tipo e wildcard).