Metodi per il Ciclo di Vita del Software – Modena e Reggio Emilia

Università degli Studi di Modena e Reggio Emilia · Dipartimento di Scienze Fisiche, Informatiche e Matematiche · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Angelo Ferrando Canale unico

Corso di laurea: Informatica – sede di Modena, Modena · Laurea magistrale (LM-18) · 2º anno · 1º semestre · 6 CFU

Modena e Reggio Emilia · Dipartimento di Scienze Fisiche, Informatiche e Matematiche · 6 CFU · apri nel catalogo · Informatica – sede di Modena, Modena · 2º anno · 1º semestre ›

Il docente indica 8 testi · da studiare tutti

Testo obbligatorio in più

Sommerville – Software Engineering Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

A. van Lamsweerde, Requirements Engineering

From System Goals to UML Models to Software Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Friedenthal – A Practical Guide to SysML Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Gamma – Design Patterns Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Baier – Principles of Model Checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Wooldridge – An Introduction to MultiAgent Systems Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bartocci – Lectures on Runtime Verification Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

W. M Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso affronta metodi e strumenti avanzati per la specifica, la progettazione, la verifica e l’analisi del software durante le diverse fasi del suo ciclo di vita. Gli argomenti teorici sono affiancati dall’applicazione pratica di linguaggi di modellazione e strumenti di analisi.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.