SOFTWARE ENGINEERING

SOFTWARE ENGINEERING

_
iten
Codice
80154
ANNO ACCADEMICO
2017/2018
CFU
9 cfu al 1° anno di 8733 INGEGNERIA INFORMATICA (LM-32) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
ING-INF/05
LINGUA
Italiano
SEDE
GENOVA (INGEGNERIA INFORMATICA )
periodo
2° Semestre
materiale didattico

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

Ricevimento: Venerdi' dalle 10:00 alle 12:00 o su appuntamento.

Commissione d'esame

MASSIMO NARIZZANO (Presidente)

FILIPPO RICCA

ARMANDO TACCHELLA

MARCO MARATEA

ENRICO GIUNCHIGLIA

ALESSANDRO ARMANDO

LEZIONI

ORARI

L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.

Vedi anche:

SOFTWARE ENGINEERING

ESAMI

Modalità d'esame

Scritto e orale

Modalità di accertamento

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