Introduzione al Corso

Enrico Giunchiglia

Systems and Technologies for Automated Reasoning Lab (STAR-Lab)

Dipartimento di Informatica Sistemistica e Telematica (DIST)
University of Genova

Ingegneria del Software

Enrico Giunchiglia (U. of Genova) Introduzione Ingegneria del Software 1/5

Ingegneria del Software

Lezioni frontali: Prof. Enrico Giunchiglia

(giunchiglia@unige.it)
Lezioni frontali: Prof. Andrea Clematis
(clematis@ge.imati.cnr.it)
Lavori Ingg. Marco Maratera, Massimo Narizzano, Gabriele
Palma - STAR Lab
Orario e aule:
Lunedì 10:00-12:00 in E4
Giovedì 10:00-12:00 in E4
Ricevimento Studenti
Giovedì 13:00-15:00 in Villa Bonino
Esame
scritto + orale (facoltativo). Durante gli scritti non è possibile
consultare appunti o libri di testo o altro materiale.
lavoro (opzionale) su argomenti del corso
Enrico Giunchiglia (U. of Genova) Introduzione Ingegneria del Software 2/5
Programma del Corso

Modelli di sviluppo software

Il Processo di Requirement Engineering: raccolta, analisi,
specifica dei requisiti
Analisi e Specifica dei requisiti: requisiti funzionali, non funzionali,
di dominio
Metodi di Specifica: Informali (Linguaggio Naturale Strutturato),
Semi-Formali (Diagrammi Data-Flow), Formali (Automi, Logiche,
Algebriche). UML.
Convalida e verifica: Metodi e Tipologie di Analisi dinamica del
codice. Testing.
Calcolo Parallelo e Grid Computing (Prof. Clematis)

Enrico Giunchiglia (U. of Genova) Introduzione Ingegneria del Software 3/5

Materiale Didattico

Slides e Informazioni Generali: su AulaWeb

(http://inginfo.aulaweb.unige.it/)

Libri di Riferimento:
C. Ghezzi, J. Mehdi, D. Mandrioli, Ingegneria del Software,
Fondamenti e Principi, 2 Edizione, Pearson Education 2004
(soprattutto per la parte di testing)
I. Sommerville, Software Engineering, Addison Wesley, 7th edition
(soprattutto per la parte di modelli di sviluppo sw e di requirement
engineering)
L. Baresi, L. Lavazza, M. Pianciamore, Dall’idea al codice con UML
2, Pearson Education Italia (soprattutto per la parte di UML)

Enrico Giunchiglia (U. of Genova) Introduzione Ingegneria del Software 4/5

Note di fine corso

1 la parte sui metodi formali non e’ stata trattata e non sara’ oggetto
d’esame!
2 Date previste: 25 Gennaio, 15 Febbraio, 7 Giugno, 5 Luglio, 15
Settembre. Ora: 10.00 Aula E1, per tutte le date.
3 Importante: Verificare il sito su AULAWEB in prossimità delle
scadenze e il tabellone sopra segreteria alla mattina dell’esame!

Enrico Giunchiglia (U. of Genova) Introduzione Ingegneria del Software 5/5