Metodologie di programmazione B

Giorgio Levi    Tel. 0502212700

corso di Fondamenti di Programmazione

Descrizione del modello di calcolo, 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 specificarli, 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 mettono 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 di 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.

Lucidi del corso reperibili sulla pagina web.Testi e correzioni dei compitini e degli esercizi di esame reperibili sulla pagina web.

Prove di verifica intermedia, esami consistenti uno scritto e un orale.