| | | |  corso | | | | |
Metodologie di programmazione R
| Codice: | AA013 | Crediti: | 6 | Semestre: | 2 | Sigla: | MP | |
| |
| Settore disciplinare: | INF/01 - Informatica |
Docente
Andrea Maggiolo Schettini
Tel. 0502212700Prerequisiti
corso di Fondamenti di Programmazione
Obiettivi di apprendimento
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.
Descrizione
Il corso tratterą i seguenti argomenti:
Elementi di traduzione e supporto dei linguaggi
Astrazioni procedurali e dei dati, tipi, classi
Gerarchie di tipi, polimorfismo
Prova di proprietą dei programmi
Testing e debugging.
English Description
The course will tackle the following topics:
Language translation and run-time support
Abstraction by specification
Procedural and Data abstractions, types, classes
Type hierarchies, polymorphism
Proving properties of programs
Testing and debugging.
Indicazioni metodologiche
Il corso prevede lezioni ed esercitazioni che mettono 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 di 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.
Lucidi del corso reperibili sulla pagina web.
Testi e correzioni dei compitini e degli esercizi di esame reperibili sulla pagina web.
Modalità di esame
Prove di verifica intermedia, esami consistenti in uno scritto e un orale.
