Concetti di base di Java: package, classe, oggetti, variabili, allocazione in memoria; mutabilità; chiamate dei metodi; type checking; overloading; dispatching dei metodi; tipi di base (vettori, array, collections, mappe, stringhe); tipi parametrici.

Astrazione procedurale: la specifica, contratti, pre e post-condizioni, le asserzioni, le eccezioni: checked, unchecked; definizione di nuove eccezioni; gestire le eccezioni con reflection e masking; buone pratiche; overloading dei metodi.

Astrazione sui dati: tipi di dati astratti, la loro specifica astratta e concreta; gli invarianti.

Astrazione sull’iterazione: uso e specifica di iteratori; invarianti.

Design con Card-Responsibility-Collaboration; stato e comportamento e protocollo; single responsibility principle.

Astrazione sui tipi: classi astratte; interfacce; tipi reali e apparenti; substitution principle; uguaglianza; polimorfismo; ereditarietà. Tipi parametrici. Classi interne, classi anonime. Dependency inversion.

Programmazione funzionale in Java.

Design pattern: factory, builder, decorator, observer.