Terzo anno Laurea DM270


Economia e Gestione dell'Innovazione

il corso ha l'obiettivo di introdurre i processi di creazione di innovazione. Partendo dal job to be done, verranno introdotti i concetti di opportunity gap, experimenting , coinvolgimento del cliente e creazione del MINIMUM VIABLE PRODUCT/SERVICES.

L'esame sarà in forma scritta per frequentanti e non frequentanti

esame per i frequentanti

*svolgere un lavoro di gruppo

*studiare le slide del corso


Esame per non frequentanti

*studiare le slide

*studiare il libro "What costumers want" di Anthony Ulwilck

*studiare il libro "How to Think Strategically: Strategy - Your Roadmap to Innovation and Results (Financial Times Series" Davide Sola Jerome couturier



Metodi formali dell'Informatica - 2017/2018

Il corso si propone di offrire agli studenti le conoscenze di base relative alla verifica formale di proprietà dei programmi. A questo scopo vengono introdotte le basi teoriche della logica dei programmi, il linguaggio JML di specifica per programmi Java e la sua interpretazione nella logica dinamica.

Il corso è basato sull'uso del framework KeY (libero ed open-source) per la verifica di programmi industriali assistita da calcolatore.