Ingegneria del Software II (1/2 annualità)

Prof. Angelo Morzenti

 

Programma dettagliato, libri di testo e materiale

Parte 1: Gestione

Libri di testo:    [1] capitolo 6, oppure

[2] 5a edizione capitoli 3, 28, 29, 33, oppure

[2] 6a edizione capitoli 4, 22, 23, 29.

 

Parte 2: Progettazione dei sistemi critici

Libro di testo:   [2] 5a edizione parte 4, capitoli 18, 19, 21, oppure

[2] 6a edizione parte 4, capitoli 16, 17 e 18 e parte 5, capitolo 21.

 

Parte 3: Specifica, Convalida e verifica

Libri di riferimento: per SDL: [4] (tutto) o [5], capitolo 4; per Statemate: [3].

 

Materiale disponibile presso segreteria didattica

 

Bibliografia

[1]        A. Fuggetta, C. Ghezzi, S.Morasca, A.Morzenti, M.Pezzé: Ingegneria del software: progettazione, sviluppo, verifica, Mondadori Informatica, 1991.

[2]        I. Sommerville, Software Engineering”, Addison Wesley, 5a edizione, 1996 oppure 6a edizione, 2001.

[3]        David Harel e Michel Politi, “Modeling Reactive Systems with Statecharts: the Statemate approach”, I-Logix, 1999.

[4]        Jan Ellsberger, Dieter Hogrefe e Amardeo Sarma, “SDL Formal Object Oriented Language for Communicating Systems” Prentice Hall, 1997.

[5]        A. Mitschele-Thiel, “Systems Engineering with SDL: Developing Performance-Critical Communication Systems”, Wiley, 2001.