Prof. Angelo Ferrando

Università degli Studi di Modena e Reggio Emilia · Dipartimento di Scienze Fisiche, Informatiche e Matematiche · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Angelo Ferrando

Sommerville – Software Engineering – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)
From System Goals to UML Models to Software – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)
Friedenthal – A Practical Guide to SysML – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)
Gamma – Design Patterns – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)
Baier – Principles of Model Checking – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)
Wooldridge – An Introduction to MultiAgent Systems – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)
Bartocci – Lectures on Runtime Verification – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)
W. M – Metodi per il Ciclo di Vita del Software (Informatica – sede di Modena, Modena, 2º anno · 1º semestre · 6 CFU)

Materie del prof. Angelo Ferrando

Programmazione 1 Canale unico

Corso di laurea: Informatica – sede di Modena, Modena · Laurea triennale (L-31) · 1º anno · 1º semestre · 9 CFU

Modena e Reggio Emilia · Dipartimento di Scienze Fisiche, Informatiche e Matematiche · 9 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Metodi per il Ciclo di Vita del Software 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.

Domande frequenti

Quali libri consiglia il prof. Angelo Ferrando per Metodi per il Ciclo di Vita del Software?

Sommerville – Software Engineering; From System Goals to UML Models to Software; Friedenthal – A Practical Guide to SysML; Gamma – Design Patterns; Baier – Principles of Model Checking; Wooldridge – An Introduction to MultiAgent Systems; Bartocci – Lectures on Runtime Verification; W. M