Dipartimento: DIMES
Corso di Laurea: INGEGNERIA INFORMATICA
Indirizzo Internet Corso di Laurea: www.dimes.unical.it
Nome insegnamento: INGEGNERIA DEL SOFTWARE
Condivisione:
Articolazione in moduli: NO
Settore Scientifico Disciplinare: ING-INF/05
Docente responsabile: FURFARO ANGELO
Posizione docente responsabile:
RICERCATORE – UNIVERSITA' DELLA CALABRIA
Crediti formativi universitari: 9
Numero ore riservate attività didattiche assistite: 84
Numero ore lezioni: 57
Numero ore esercitazioni: 27
Numero ore attività di laboratorio: 0
Numero ore riservate studio individuale:
Tipologia: ATTIVITA’ CARATTERIZZANTE – INGEGNERIA INFORMATICA
Lingua di insegnamento: Italiano
Collocazione: III ANNO, II SEMESTRE
Prerequisiti:
Obiettivi formativi (risultati d’apprendimento previsti e competenze da acquisire – Descrittori di Dublino):
Il corso è incentrato sulle problematiche di modellazione, analisi, progetto, implementazione e collaudo di sistemi
software orientati agli oggetti, in ambiente centralizzato e distribuito. Per gli aspetti di modellazione si fa riferimento
prevalentemente alla notazione UML. Qualche cenno è dato, comunque, ai linguaggi di specifica formale e ai
problemi di verifica. Java è utilizzato come linguaggio di implementazione. Come ausilio alle attività di sviluppo si
propongono i pattern di progetto sequenziali, concorrenti, basati su componenti e per applicazioni su rete. Il corso
discute, infine, aspetti di gestione e controllo dei progetti.
A fine corso l’allievo dovrebbe aver acquisito competenze relative a:
abilità nell'utilizzo di diagrammi UML per rendere “visibile” un progetto software
abilità nel formalizzare le specifiche di un problema
abilità nel passaggio da un modello di specifica ad un modello concettuale di classi
abilità a raffinare un modello di analisi in un modello di progetto
capacità di trasformare di un modello di progetto in codice Java (o altro linguaggio ad oggetti)
capacità nella definizione ed organizzazione dei test sia di unità che di sottosistemi integrati
capacità di individuare ed utilizzare pattern di progetto in uno sviluppo software
abilità a sviluppare sistemi software in ambiente centralizzato e distribuito
capacità di analisi di questioni di pianificazione e controllo delle attività di un progetto software.
Argomenti delle lezioni:
Concetti Introduttivi
Processo di produzione del software. Parametri di qualità. Fasi del ciclo di vita. Processo a cascata. Limitazioni.
Introduzione ai processi iterativi e incrementali.
Specifica, analisi e progettazione
Analisi e progetto di sistemi software ad oggetti. Il linguaggio di modellazione UML. Aspetti strutturali. Diagramma
delle classi. Classi e oggetti. Stereotipi. Classi astratte e interfacce. Relazioni tra classi. Ruoli e molteplicità. Oggetti
associativi. Aggregazione e composizione. Generalizzazione. Implementazione di interfacce. Invio di messaggi.
Diagrammi di collaborazione tra oggetti. Diagrammi di sequenza. Messaggi sincroni e asincroni. Notifica di eventi e
callback. Gestione del tempo e timer. Aspetti comportamentali. Diagrammi di stato. Stati, eventi, transizioni e azioni.
Statechart. Decomposizione and/or degli stati. Semantica delle transizioni di stato. Diagrammi di attività. Diagrammi
di casi d’uso. Utilizzo di casi d’uso per pianificare i test e come ausilio nella fase di identificazione delle classi di un
progetto. Attribuzione delle responsabilità e diagrammi di interazione. Oggetti attivi e thread. Componenti e loro
rappresentazione. Architetture a componenti. Diagrammi di deployment. Strumenti di sviluppo integrato (es. Eclipse,
NetBeans) a supporto delle attività di progettazione e implementazione.
Progetto rigoroso di classi, convalida e fase di testing
Sostituibilità dei tipi in una gerarchia di inheritance. Design-by-contract. Invariante di classe. Pre/post condizioni sui
metodi. Formule di correttezza di Hoare. Vincoli/benefici sul cliente e sull’implementatore di una classe. Cenni ai
linguaggi OCL (Object Constraint Language) e JML (Java Modeling Language). Gerarchie di classi e subcontracting.
Richiami di logica (proposizionale e del primo ordine). Il linguaggio Z per la specifica modulare e rigorosa di sistemi
software. Problemi di verifica. Fase di testing. Testing di unità. Junit.
Design Pattern
Progettare per il cambiamento. Principi open/closed, low coupling, high cohesion. Schemi risolutivi di sottoproblemi
ricorrenti. Catalogo completo dei pattern GoF modellati in UML e implementati in Java. Architetture software basate
su pattern. Pattern per sistemi concorrenti e distribuiti. Sviluppo sistematico di software basato su pattern.
Progettazione, viste architetturali, strati middleware
Progettazione e viste architetturali. Architetture per applicazioni su rete. Client/server, peer-to-peer,
publish/subscribe, agenti mobili. Strati middleware e tecnologie Java. Java Socket e Java RMI. Componenti e
applicazioni web/enterprise basate su J2EE. Struttura multi-strato di un’applicazione J2EE. Servlet, Java Server
Pages, componenti EJB e sistema di persistenza. Cenni ai web service.
Processi di sviluppo e gestione di progetti
Processi evolutivi. Modello a spirale. Il processo unificato (UP). Pianificazione e controllo delle risorse. Diagrammi di
scomposizione delle attività. Diagrammi di Gantt, PERT, CPM. Gestione dei rischi. Controllo di qualità di un
processo di sviluppo.
Casi di studio
Progettazione e messa a punto di sistemi software in ambiente centralizzato e distribuito.
Argomenti delle esercitazioni:
Sviluppo di progetti didattici basati su UML, sui design pattern, su schemi architetturali distribuiti, su componenti.
Organizzazione della fase di testing.
Argomenti delle attività di laboratorio:
Modalità di frequenza: OBBLIGATORIA
Modalità di erogazione:
In aula, con metodologie tradizionali e con l’uso di trasparenze e proiettore collegato al PC.
Metodi di valutazione:
L’esame consiste nella verifica di progetti didattici assegnati durante le lezioni, nello sviluppo completo di un
progetto finale, e in una prova orale obbligatoria.
Testi di riferimento:
Materiali didattici:
L. Nigro. Appunti dalle lezioni di Ingegneria del Software.
C. Ghezzi, M. Jazaheri, D. Mandrioli. Ingegneria del Software, Seconda Edizione, Pearson Education Italia
S.r.l., 2004.
M. Grand, Patterns in Java: A catalog of reusable design patterns illustrated by UML, Vol. 1, Wiley, 2002.
Testi di consultazione:
B. Meyer, Object Oriented Software Construction, 2nd Edition, Prentice-Hall, 2000.
R. Pressman, Principi di Ingegneria del Software, Quinta edizione, McGraw-Hill Italia, 2008.
A. Binato, A. Fuggetta, L. Sfardini, Ingegneria del Software: creatività e metodo, Pearson-Education Italia,
2006.
L. Baresi, L. Lavazza, M. Pianciamore, Dall’idea al codice con UML 2, Pearson-Education Italia, 2006.
E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elementi per il riuso di software a oggetti,
Addison-Wesley, Pearson Education Italia S.r.l., 2002.
P. Kuchana, Software architecture design patterns in Java, Auerbach Publications, CRC Press, 2004.
Orario e aule lezioni:
Calendario prove valutazione:
www.dimes.unical.it
