Pubblicati i risultati dell'ultimo appello. Correzioni e registrazioni si terranno il giorno 13 alle ore 9.30
17 Novembre 2008:
Fissata la data della prova di esame della sessione di Dicembre. Attenzione chi consegnerà il compito e non riuscirà a raggiungere la sufficienza non sarà ammesso all'appello successivo (i.e. primo appello di febbraio)
13 Ottobre 2008:
Si comunica agli studenti che questa pagina non verrà ulteriormente aggiornata. Per comunicazioni sul corso ci si dovrà riferire alla pagina del corrente A.A. 2008/2009.
13 Ottobre 2008:
Si comunica agli studenti che il progetto svolto per l'A.A. 2007/2008 rimarrà valido fino a tutta la sessione di febbraio/marzo 2009. Dopo tale data per sostenere l'esame sarĂ necessario consegnare il progetto assegnato per l'A.A. 2008/2009
13 Ottobre 2008:
Pubblicati i risultati della prova di esame dello scorso 29 settembre. Riconsegna compiti e registrazione mercoledì 15 ottobre aula AB1 alle ore 15.
22 Settembre 2008:
Pubblicati i risultati della prova di esame dello scorso 8 settembre. Riconsegna compiti e registrazione mercoledì 24 settembre aula AB1 alle ore 10.
30 Luglio 2008:
Fissate le date delle prove di esame della sessione autunnale. Attenzione chi consegnerà il compito e non riuscirà a raggiungere la sufficienza non sarà ammesso all'appello successivo
21 Luglio 2008:
Pubblicati i risultati della prova di esame della 15 luglio. Riconsegna compiti e registrazione mercoledì 23 luglio aula AB1 alle ore 10.
27 maggio 2008:
Fissate le date delle prove di esame della sessione estiva. Attenzione chi consegnerà il compito e non riuscirà a raggiungere la sufficienza non sarà ammesso all'appello successivo
05 maggio 2008:
La prova del 21 aprile sarà discussa il 07 maggio alle ore 9.30 in aula AB1 (se disponibile). Contestualmente saranno fissare le date per le discussioni dei progetti. I risultati della prova sono disponibili on-line nella sezione Risultati.
17 Marzo 2008:
Definita data di appello straordinario mese di Aprile. Vai alle sezione Esame. Gli studenti interessati mi contattino via e-mail.
29 Febbraio 2008:
Scarica dalla sezione Risultati i risultati della prova del 26 febbraio 2008
22 Febbraio 2008:
Attenzione ricordo a tutti gli studenti che per sostenere l'esame è necessario iscriversi on-line tramite il sito https://didattica.unicam.it
19 Febbraio 2008:
Attenzione la data di consegna del progetto è spostata al 26. I progetti saranno poi discussi con i diversi membri del gruppo nei giorni successivi la prova del 26
13 Febbraio 2008:
Il prossimo mercoledì 20 Febbraio in aula AB3 dalle ore 11 alle ore 13 si terrà un ricevimento/lezione principalemente incentrato sui formalismi per la specifica.
Attenzione l'indirizzo IP della macchina è cambiato. Il nuovo indirizzo è 193.205.92.74 Purtroppo le porte 22 ed 80 sono ancora chiuse e non potete lavorare da casa. Appena saranno aperte vi darò comunicazione
14 Novembre 2007:
Attenzione la lezione del 15 novembre non si terrà
Saper progettare, implementare e manutenere un sistema software complesso utilizzando le note metodologie di supporto al loro sviluppo, i modelli, i linguaggi di specifica formale e semiformale, le architetture, le tecniche di verifica e validazione e gli strumenti di supporto allo sviluppo. Saper progettare un sistema software con un particolare formalismo di modellizzazione.