This course aim to introduce principles of Distributed Programming of Cyber-physical Systems and IoT in particular. Lectures will be arranged in three modules:

• Design of Distributed Applications
• Languages and Tools for Distributed Programming
• Monitoring of  Cyber-physical Systems

During the lectures, students will get familiar with distributed systems and with the challenging aspects they provide. Modern languages, tools and methodologies will be presented and used to develop simple projects.

Il corso si propone di fornire le principali conoscenze sui modelli di Information Retrieval. Particolare enfasi viene data alle tecniche di ricerca dell'informazione sul Web, alla costruzione di motori di ricerca, alle tecniche di raccolta e indicizzazione dell'informazione, infine agli standard di rappresentazione dei documenti. Saranno inoltre introdotti i principi e gli standard del Web Semantico.

The objective of this course is to provide an up-to-date survey of developments in computer security. Central problems that confront security designers and security administrators include defining the threats to computer and network systems, evaluating the relative risks of these threats, and developing cost-effective and user-friendly countermeasures.

Le nostre attività quotidiane dipendono sempre di più dalla presenza e dal corretto funzionamento di sistemi ICT. Bassa qualità nel processo di sviluppo di sistemi ICT può portare a ritardi nella produzione, aumenti dei costo, oppure a soluzioni di scarsa qualità con conseguente insoddisfazione del cliente/utente. Inoltre, un errato comportamento di questi sistemi può portare a varie conseguenze, dalla insoddisfazione dell'utente, a perdite economiche, od ancora a danni a cose o persone. La prima parte del corso investiga processi, metodologie e tecniche per la qualità nello sviluppo e produzione di sistemi e software. La seconda parte del corso si concentra su sistemi critici per la sicurezza (safety) e la necessità di applicare standard per assicurarsi che si possa riporre fiducia in tali sistemi. Si analizzano infatti i processi e le principali tecniche richieste dagli standard in differenti domini per la progettazione, assessment e certificazione di sistemi critici per la sicurezza (safety).

Alla fine del corso, saranno sviluppate abilità per:
i) riconoscere e comprendere le implicazioni e le caratteristiche dell'applicazione di procedure di qualità, e del quality management, con attenzione ai processi di software engineering. Lo Studente avrà acquisito competenze principalmente sui processi e metodi relativi alla software quality.
ii) comprendere gli elementi di un processo di assessment, e distinguere le peculiarità della sua applicazione in differenti domini.