| METODI DI VERIFICA DI SISTEMI
(obiettivi)
• OBIETTIVI FORMATIVI: tecnologia di verifica denominata model checking • CONOSCENZA E CAPACITÀ DI COMPRENSIONE: teorica e uso dei tool • CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: casi d’uso specifici • AUTONOMIA DI GIUDIZIO: valutare se la tecnologia è applicabile • ABILITÀ COMUNICATIVE: esposizione di un progetto • CAPACITÀ DI APPRENDIMENTO:
|