OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Modelli di sviluppo software, analisi dei requisiti, modellazione di sistemi tramite UML,design patterns,Verifica e Validazione, linguaggi per la specifica di proprietà temporali, algoritmi per la verifica di proprietà temporali, modellazione e risoluzione di casi utilizzando model checkers"

PROGRAMMA/CONTENUTO

Introduzione all'ingegneria del software, modelli di processo software, analisi dei requisiti, design e modellazione di sistemi software, Verifica e Validazione tramite model checking e Software Testing.

TESTI/BIBLIOGRAFIA

Parte dei seguenti testi: Software Engineering – I. Sommerville ‐ Pearson, Writing Effective Use Cases – A. Cockburn – Pearson, UML Distilled – M. Fowler – Pearson, Principles of Model Checking ‐ Cristel Baier, Joost‐Pieter Katoen – MIT Press, Foundations of Software Testing – A.P. Mathur – Pearson.

DOCENTI E COMMISSIONI

Commissione d'esame

MASSIMO NARIZZANO (Presidente)

ALESSANDRO ARMANDO

ENRICO GIUNCHIGLIA

MARCO MARATEA

FILIPPO RICCA

ARMANDO TACCHELLA

LEZIONI

Orari delle lezioni

SOFTWARE ENGINEERING

ESAMI

MODALITA' D'ESAME

Scritto e orale

MODALITA' DI ACCERTAMENTO

Alla fine del corso lo studente sara' in grado di analizzare, modellare, verificare e validare un sistema software.
 

Calendario appelli