Introduction to software engineering. Software Processes models. Software Requirements methodologies. Software Modelling. Software Verfication & Validation. Software Testing. Software Model Checking.
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.
Ricevimento: Friday Morning From 10:00 till 12:00 o su appuntamento.
MASSIMO NARIZZANO (President)
ALESSANDRO ARMANDO
ENRICO GIUNCHIGLIA
MARCO MARATEA
FILIPPO RICCA
ARMANDO TACCHELLA
SOFTWARE ENGINEERING
At the end of the course students should be able to analyse, model, verify and test a software system.
