Metodologie di programmazione A

Marco Bellia      Tel. 0502212781

corso di Fondamenti di Programmazione

Descrizione del modello di calcolo e delle tecniche di programmazione object-oriented con subtyping e polimorfismo,
delle relative tecniche di specifica e di ragionamento.

Conoscenze. Conoscenza dei principali meccanismi di astrazione, dei principi della programmazione a oggetti e delle tecniche per ragionare sui programmi.

Capacità. Capacità di costruire programmi a oggetti in modo sistematico, di documentarli e di provarne le proprietà.

Comportamenti. Saper costruire applicazioni anche complesse sviluppando nuovi moduli, estendendo moduli esistenti ed integrandoli.

Language translation and run-time support
 Abstraction by specification
 Procedural and Data abstractions, types, classes
 Type hierarchies, polymorphism
 Proving properties of programs

Il corso prevede lezioni ed esercitazioni che mettano in pratica i principi esposti.

Interpretazione, compilazione, supporto a run-time.

Oggetti e astrazione procedurale in Java (richiami).

Semantica operazionale di un nucleo orientato ad oggetti con metodi, classi ed ereditarietà.

Metodologie per lo sviluppo di programmi sequenziali in Java

Eccezioni.

Astrazioni sui dati

Astrazioni sul controllo (iterazione)

Gerarchie di tipi

Astrazioni polimorfe.

Testing e debugging.

Libro di testo: B.Liskov and J. Guttag, Program Development in Java. Abstraction, Specification and Object-Oriented Design, Addison-Wesley, 2001.
Materiale preparato durante il corso e disponibile sulla pagina web

Compitini ed esami consistenti in uno scritto e un orale.