# Software Engineering (for Automation) course

(Laurea Magistrale in Automation and Control Engineering)

Acandemi Year 2016/2017

Teacher: Matteo Rossi

**News**

General Information

Course material - lectures

Course material - exams/exercises

Additional materials

## General information

Tel. Number M. Rossi: (+39 02 2399) 3561

E-mail: matteo.rossi@polimi.it

Office hours: ask for a meeting

**Textbook:** C. Ghezzi, D. Mandrioli, M. Jazayeri
Fundamentals of
Software Engineering, Prentice HallPearson Education Italia.

Also available in Italian as Ingegneria del Software. Fondamenti e Principi, Pearson Education Italia.

Introduction to the course

Introduction to Software Engineering

Modular Software Design

Specification notations: Finite State Machines

Petri Nets

Logic-based Specifications

Testing

Toolchain for the development of robotics applications

Exercises on UML Class Diagrams

**Texts** (with some solutions) of exercises on Petri nets

UML/Statecharts exercise on coffee machine

Exercises on logics

Other exercises on logics (some in English, most in Italian)

Exercises on testing

Recapping exercises

### Past exams

Exams (in Italian, not all with solution) of A.Y. 2010/2011

Exams (in Italian, only some of them with solution) of A.Y. 2011/2012

Exams (in Italian, only some of them with solution) of A.Y. 2012/2013

Exams (with solution) of A.Y. 2013/2014, translated in English,
without exercises on the complexity of algorithms; the original
version (in Italian) can be found
here

Some exams (with solution) of A.Y. 2014/2015, translated in English,
without exercises on the complexity of algorithms; the original (complete)
version (in Italian) can be found
here

Exams (with solution) of A.Y. 2015/2016

Exam (with solution) of July 3rd 2017

Exam (with solution) of July 21st 2017