Architetture software - Teoria modulo II (2008/2009)

Obiettivi formativi

Il corso fornisce nozioni scientifiche e professionali di base sulle architetture software, presentando un'analisi comparata di architetture software assieme a linguaggi di modellazione e di specifica delle stesse.

- Analisi e specifica di architetture software:
-- Introduzione all'architettura del software.
-- Tassonomia di architetture software di uso più frequente.
-- Gestione delle configurazioni di architetture software.
-- Modellazione, analisi e specifica di architetture software ad oggetti.
-- Analisi comparata di architetture software in casi di studio.

- Linguaggi di modellazione di architetture software e di specifica di vincoli su modelli di architetture ad oggetti:
-- Il linguaggio standard UML 2 (notazione e metodologie d'uso dei principali tipi di diagrammi).
-- Il linguaggio standard OCL 2 (notazione e metodologie d'uso dei principali costrutti).
-- Il linguaggio standard Z (notazione e metodologie d'uso dei principali costrutti).

- Validazione e collaudo nelle architetture software:
-- Prototipazione rapida di specifiche di architetture software e automazione nel collaudo di prototipi di architetture.
-- Strategie di collaudo di architettura: di unità, di integrazione, di sistema.
-- Metodi di collaudo di architetture software ad oggetti.

La verifica del profitto avviene mediante uno scritto sugli argomenti del programma. Il superamento della prova porta all'acquisizione di 4 crediti, a cui si aggiunge 1 credito per il secondo modulo del corso di Laboratorio di architetture software.
È facoltà del docente sostituire la prova scritta con una prova orale, in particolare nel caso in cui non sia possibile evitare che gli studenti accedano ad appunti, libri, fotocopie. La prova scritta deve, infatti, essere svolta senza l'ausilio di appunti o altro.

Per gli studenti del Corso di Laurea in Informatica, i crediti si intendono formalmente acquisiti quando entrambe le prove relative ai due moduli del corso sono state superate. Ciò dunque porta all'acquisizione di 8 crediti, a cui si aggiungono 2 crediti per il Laboratorio, in quanto ciascuna prova include la valutazione del corrispondente modulo di Laboratorio.