Università di Bologna · Prof. M. Viroli, Prof. G. Aguzzi · a.a. 2025/2026
Advanced Software Modelling and Design
15 chapters4 parts~9 hours of study60+ interactive widgets
Plate 00 — The four parts of the course as one arc: what you validate in Part A, you first specify in Part B, model under uncertainty in Part C, and finally synthesise by learning and distribution in Part D.
How to study
The chapters follow the course schedule: read them in order, each one consolidates in a single place everything the decks of that module say about a topic.
Every chapter carries a lab section: the operational steps to run on your own machine, plus the R&D tasks you can pick from for the exam project.
The widgets (simulators, annotated code, state explorers, quizzes) are reconstructed from the lecture material: use them actively, do not just read them.
The plates are hand-drawn technical figures, not slide screenshots: they redraw the mechanism rather than reproduce the original picture.
Each section is tagged with the data-src of the deck it comes from, so you can always go back to the original slides.
The exam is a discussion of the tasks you completed (one large one, or several smaller ones) plus the links between them and the rest of the course, so read across parts, not just within one.
A
Robust software engineering
Pervasive validation, testing at every level, and AI in the development process.