Metodi Formali nell'Ingegneria del Software

Materiale didattico

Disclaimer: Il materiale pubblicato su questo sito è offerto gratuitamente ai soli studenti del corso di Metodi Formali nell'Ingegneria del Software del Corso di Laurea Specialistica in Ing. Informatica dell'Università degli Studi di Roma "La Sapienza". E' vietato ogni utilizzo diverso da quello inerente la preparazione dell'esame del suddetto corso, ed in particolare è espressamente vietato il suo utilizzo per qualsiasi scopo commerciale e/o di lucro.
Il copyright di questo materiale (se non diversamente specificato nelle singole unità che lo compongono) è di proprietà degli autori (Marco Cadoli e Toni Mancini). E' permessa la libera copia di tutto il materiale disponibile, purché ne vengano rispettate le condizioni d'uso qui enunciate, ne venga sempre citata la fonte, e venga riportato questo testo.
Gli autori consentono la stampa di questo materiale da parte di società di servizi (ad es. copisterie), purché queste non ne ottengano alcun ricavo oltre quello dovuto alla vendita di semplici fotocopie a prezzi di mercato. Si precisa tuttavia che gli autori non percepiscono alcun guadagno dalla diffusione del materiale da parte di chiunque.
Gli autori si impegnano a mantenere aggiornato il materiale pubblicato su questo sito, ma non possono assumersi la responsabilità del mancato aggiornamento di eventuali copie rese pubbliche da altre fonti e/o stampate da altri. Tale responsabilità è quindi da imputarsi alle singole fonti. Gli studenti sono quindi invitati, prima di acquisire questo materiale tramite altre fonti, a controllare che la relativa data di rilascio delle singole unità (indicata chiaramente su ognuna di esse) non sia precedente a quella della stessa unità pubblicata in questo sito.

Dispense del corso, esempi ed altro materiale

Progetti svolti e presentati dagli studenti