Il corso di Ingegneria del Software prevede un progetto a gruppi, il cui sviluppo si svolge in parallelo con la frequenza del corso stesso. Infatti, l'esame finale consiste per la gran parte nella presentazione e discussione del processo di sviluppo del progetto che prevede la produzione di una serie di documenti che vengono consegnati in forma sia elettronica (formato .gz.tar) sia cartacea al docente e pubblicati su WWW.
Nella prima fase il docente funge da cliente e produce e pubblica su WWW il primo documento, PROBLEMA. Tale documento descrive alcuni requisiti di una applicazione.
Nota: sono disponibili i documenti PROBLEMA discussi negli anni 1998, 1997, 1996 1995, 1994, 1993.
Dopo una breve analisi da parte dei gruppi, che discutono per email su una mailing list archiviata qui, il documento PROBLEMA viene emendato a cura della commissione dei portavoce e diventa la PROPOSTA_DI_SPECIFICA, che e' il documento iniziale della fase successiva.
Il secondo documento, SPECIFICA FORMALE, è prodotto dai gruppi, che prima lavorano ciascuno su un documento proprio, e poi partecipano ad un sottoprocesso di revisione della qualita' e successiva scelta del miglior documento tra quelli proposti. SPECIFICA FORMALE ridefinisce e raffina la PROPOSTA_DI_SPECIFICA: contiene la specifica dei requisiti descritti usando come notazioni UML e Z o ObjectZ.
Il terzo e ultimo documento, PROGETTO, è scritto separatamente da ciascun gruppo e descrive un'architettura software ed eventualmente una realizzazione. Il documento PROGETTO include tutti i documenti del processo (compreso il DIARIO con calcolo delle ore utilizzate) prodotti dal gruppo e si discute direttamente all'esame orale.
Specificatamente, la consegna di PROGETTO consiste di:
Aggiornato il 21 Dicembre 1998