https://didawiki.cli.di.unipi.it/ Thu, 04 Jun 2026 21:41:43 +0000 FeedCreator 1.8 https://didawiki.cli.di.unipi.it/lib/exe/fetch.php/wiki/dokuwiki.svg https://didawiki.cli.di.unipi.it/ https://didawiki.cli.di.unipi.it/doku.php/magistralesicurezza/sss/progetto S3 - Progetto finale Testo e norme Il documento aggiornato si trova [qui]. FAQ C'è altro materiale didattico? Sì, una versione aggiornata (in inglese) di parte dei lucidi è disponibile qui. Tutta la documentazione SPARK può essere scaricata da anonymous@undisclosed.example.com (Anonymous) Fri, 07 Oct 2011 08:45:52 +0000 https://didawiki.cli.di.unipi.it/doku.php/magistralesicurezza/sss/risorse S3 - Risorse Programma e testi SPARK: Linguaggio e strumenti per la programmazione sicura. Testo: [HIS] J. Barnes. High Integrity Software. Addison Wesley. 2006. ISBN 978-0-321-13616-9. INFORMED: un metodo per la progettazione di dettaglio di programmi sicuri. anonymous@undisclosed.example.com (Anonymous) Mon, 27 Sep 2010 17:43:22 +0000 https://didawiki.cli.di.unipi.it/doku.php/magistralesicurezza/sss/start Sviluppo di Software Sicuro Docente: Carlo Montangero homepage Orario di ricevimento Al termine della lezione del giovedì, o per appuntamento via mail. Orario delle lezioni Dal sito della segreteria Risorse Programma, Riferimenti bibliografici, Testi d'esame Progetto finale Testo e informazioni correlate Registro delle lezioni Da Unimap. Avvisi 22/2/2010 15:30 anonymous@undisclosed.example.com (Anonymous) Wed, 19 May 2010 14:31:20 +0000