Ingegneria del software B

Laura Semini      Tel. 0502212783

Metodologie di programmazione.

Introduzione alle tecniche di modellazione in ingegneria del software.

Il corso vuole preparare allo sviluppo di sistemi software con caratteristiche di qualità. Per quanto riguarda le fasi alte del ciclo di vita del software, analisi e progettazione, vengono presentate tecniche e notazioni di modellazione degli aspetti statici e dinamici del dominio applicativo e del sistema do sviluppare. Per quanto riguarda le fasi basse del ciclo di vita, codifica e rilascio, si trattano principi e tecniche di verifica e validazione.

The aim of the course is to prepare to the development of quality software systems. With respect to the first phases of the software life-cycle, i.e. analysis and design, we present techiques and notations to model the static and dynamic facets of the application domain and of the system to develop. With respoect to the last phases of the life-cycle, i.e. coding and release, we present principles and techniques of software verification and validation.

• Processo di sviluppo software: Problemi della produzione del software. Modelli di ciclo di vita.
• Modellazione: Unified modelling language (UML 2)
• Analisi e progettazione: Aspetti generali dell'analisi e della progettazione. Analisi e progettazione orientata agli oggetti.
• Verifiche e prove: Obiettivi e pianificazione delle verifiche. Ispezione del codice. Progettazione e valutazione delle prove.

Capitoli scelti dai seguenti testi:

• J. Arlow, I. Neustadt, UML 2 e Unified Process, Seconda edizione italiana, McGraw-Hill, 2006.
  
• A. Binato, E.Fuggetta, L. Sfardini, Ingegneria del Software - Creatività e metodo, Addison Wesley, 2006.
  

Dispense a cura dei docenti.

Per maggiori dettagli si veda la pagina comune del corso.

La valutazione avviene mediante prova scritta e prova orale. La prova scritta può essere sostituita dal superamento di due verifiche in itinere.