AIMS AND CONTENT

LEARNING OUTCOMES

Software Development Templates, Requirement Analysis, UML Modeling Systems, Design Patterns, Verification and Validation, Time Template Specification Languages, Temporary Property Verification Algorithms, Modeling and Case Resolution using Model Checkers "

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

EXAM DESCRIPTION

Written and oral

ASSESSMENT METHODS

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

Exam schedule