Terzo anno Laurea DM270


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



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.