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.