Materia:Ingegneria del software

Prerequisiti

Rudimenti di programmazione strutturata e a oggetti.

Obiettivi

Il corso fornisce una presentazione teorica dei metodi formali utilizzati per le varie fasi del processo di creazione di un software. Vengono affrontati i diversi momenti a partire dal dialogo con il committente fino alla messa in circolazione del prodotto finto analizzando i vari modelli di sviluppo e le tecniche più utilizzate.

Si attende che lo studente sia in grado di intervenire ad uno qualunque dei passi di sviluppo di un progetto utilizzando i modelli formali appresi.

• Introduzione e principi dell'ingegneria del software
• Modelli di ciclo di vita del software
• Progettazione e UML
• Specifica e Reti di Petri
• Tecniche di verifica e convalida
• Management

È possibile, e fortemente consigliato, integrare le lezioni e valutare la propria preparazione attraverso queste esercitazioni. È possibile verificare la conoscenza di un argomento specifico o dell'intero programma.

---

Modifica

• Jinkobiloba