| | | corso | | | | |
Metodologie di programmazione A
Codice: | AA013 | Crediti: | 6 | Semestre: | 2 | Sigla: | MP | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Giorgio Levi
Tel. 0502212700Prerequisiti
corso di Fondamenti di Programmazione
Obiettivi di apprendimento
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.
English Description
Language translation and run-time support
Abstraction by specification
Procedural and Data abstractions, types, classes
Type hierarchies, polymorphism
Proving properties of programs
Indicazioni metodologiche
Il corso prevede lezioni ed esercitazioni che mettano in pratica i principi esposti.
Programma
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.
Ore lezione: | 32 | Ore esercitazione: | 16 | | | |
Bibliografia
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
Modalità di esame
Compitini ed esami consistenti in uno scritto e un orale.