- Docente: Stefano Rizzi
- Crediti formativi: 6
- SSD: ING-INF/05
- Lingua di insegnamento: Italiano
- Modalità didattica: Convenzionale - Lezioni in presenza
- Campus: Cesena
- Corso: Laurea Magistrale in Scienze e tecnologie informatiche (cod. 8030)
Conoscenze e abilità da conseguire
Al termine del corso, lo studente ha nozioni specialistiche riguardanti l'ingegneria del software, nonché un quadro dei formalismi e degli strumenti più evoluti per la modellazione dei requisiti e la progettazione.
Contenuti
- Ingegneria del software:
- Principi di progettazione e criteri di qualità
- Valutazione
- Prototipazione
- Produzione
- Verifica
- Certificazione
- Manutenzione
- Data Flow Diagram
- SADT
- Alberi e tabelle di decisione
- Automi a stati finiti
- Automi di Harel
- Reti di Petri
Testi/Bibliografia
- Lucidi del corso.
- M. Golfarelli, D. Maio, S. Rizzi. Ingegneria dei Sistemi Informativi: Lezioni ed esercizi di Modellazione dei Requisiti. Esculapio, 2000
- J. Arlow, I. Neustadt. UML e Unified Process. McGraw-Hill, 2003.
- A. Binato, A. Fuggetta, L. Sfardini. Ingegneria del Software. Pearson, 2006.
- E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design Patterns. Addison-Wesley, 2002.
- C. Ghezzi, M. Jazayeri, D. Mandrioli. Ingegneria del Software. Pearson, 2004.
- C. Larman. Applicare UML e i pattern. Pearson, 2004.
- W. Zuser, S. Biffl, T. Grechenig, M. Kohle. Ingegneria del software con UML e Unified Process. McGraw-Hill, 2004.
Metodi didattici
- Lezioni ed esercitazioni in aula
- Seminari tenuti da consulenti aziendali
- Autovalutazioni
Modalità di verifica e valutazione dell'apprendimento
- Prova scritta: modellazione di specifiche dinamico-funzionali, testing, analisi/sintesi di reti di Petri
- Prova orale sui contenuti teorici del corso
Strumenti a supporto della didattica
Materiale didattico scaricabile
Orario di ricevimento
Consulta il sito web di Stefano Rizzi