Obiettivi Formativi

Il corso si propone di fornire gli strumenti concettuali fondamentali per acquisire conoscenze e competenze sui principi e metodi dell'Ingegneria del Software, in particolare per quanto riguarda i processi di sviluppo del software, l'analisi dei requisiti, la progettazione, il testing e la verifica formale di un sistema software.

Learning Goals

The SE course aims at providing the basic concepts, methodologies and techniques on software engineering, with specific regards to software development processes, requirement engineering, design, test, and formal verification.

Metodi didattici

Lezioni frontali Esercitazioni in laboratorio

Teaching Methods

Frontal lecturing and Lab

Prerequisiti

Programmazione ad oggetti

Prerequisites

Object Oriented Programming (OOP)

Verifiche dell'apprendimento

Analisi dei requisiti, progettazione, realizzazione e testing di un sistema software Relazione scritta e presentazione orale del progetto con discussione

Assessment

Design, development and testing of a software system. Discussion on the project with oral questions on theory

Programma del Corso

INTRODUZIONE ALL’INGEGNERIA DEL SOFTWARE. PROCESSI SOFTWARE: Modelli dei processi software; Cicli di processo; Attività di processo. GESTIONE DEI PROGETTI: Attività di gestione; Pianificare il progetto; Tempistica del progetto; Gestione del rischio. PANORAMICA SU UML: Introduzione a UML; Diagrammi dei casi d’uso; Diagrammi delle classi e degli oggetti; Diagrammi delle interazioni; Diagrammi di stato e Diagrammi delle attività; Organizzazione dei diagrammi. REQUISITI DEL SOFTWARE: Requisiti funzionali e non funzionali; Requisiti utente; Requisiti di sistema; Specifica delle interfacce; Documento dei requisiti. PROCESSI DI INGEGNERIA DEI REQUISITI: Studi di fattibilità; Deduzione ed analisi dei requisiti; Convalida dei requisiti; Gestione dei requisiti. PROGETTAZIONE DEL SOFTWARE: Progettazione architetturale. - Progettazione orientata agli oggetti. SVILUPPO: Sviluppo rapido del software. - Riutilizzo del software. VERIFICA E CONVALIDA DEL SOFTWARE: Test del software. La qualità del software.

Course Syllabus

INTRODUCTION TO SOFTWARE Engineering. SOFTWARE PROCESS: Models of software processes; Process cycles; Process Activities. PROJECT MANAGEMENT: Management activities; Project Planning; Project Timing; Risk management. UML OVERVIEW: Introduction to UML; Use Cases Diagrams; Classes and O bjects Diagrams; Interactions Diagrams; State diagrams and activity diagrams; Organization charts. SOFTWARE REQUIREMENTS: functional and non-functional requirements; User requirements; System Requirements; Interfaces Specification; Document Requirements. PROCESS ENGINEERING REQUIREMENTS: Feasibility Studies; Deduction and analysis of requirements; Validation of requirements; Requirements management. SOFTWARE DESIGN: Architectural Design. - Object-oriented design. DEVELOPMENT: Rapid development of the software. - Re-use of the software. VERIFICATION AND VALIDATION OF SOFTWARE: Test the software. The quality of the software.