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 "
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
Written and oral
At the end of the course students should be able to analyse, model, verify and test a software system.
