AIMS AND CONTENT

SYLLABUS/CONTENT

Introduction to software engineering. Software Processes models. Software Requirements methodologies. Software Modelling. Software Verfication & Validation. Software Testing. Software Model Checking.

RECOMMENDED READING/BIBLIOGRAPHY

During the course part of the following books are used: 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.

TEACHERS AND EXAM BOARD

Exam Board

MASSIMO NARIZZANO (President)

ALESSANDRO ARMANDO

ENRICO GIUNCHIGLIA

MARCO MARATEA

FILIPPO RICCA

ARMANDO TACCHELLA

LESSONS

Class schedule

SOFTWARE ENGINEERING

EXAMS

ASSESSMENT METHODS

At the end of the course students should be able to analyse, model, verify and test a software system.

Exam schedule