Libri UniversitariApri il catalogo

Metodi per il Ciclo di Vita del Software – prof. Angelo Ferrando

Informatica – sede di Modena · Università degli Studi di Modena e Reggio Emilia · 2º anno · 1º semestre · 6 CFU · canale unico

Libri del canale

Metodi per il Ciclo di Vita del Software 6 CFU

AFProf. Angelo Ferrando Canale unico

Testo obbligatorio in più

Sommerville – Software EngineeringVerificato sulla scheda ufficiale il 02/10/2026

A. van Lamsweerde, Requirements Engineering

From System Goals to UML Models to SoftwareVerificato sulla scheda ufficiale il 02/10/2026
Friedenthal – A Practical Guide to SysMLVerificato sulla scheda ufficiale il 02/10/2026
Gamma – Design PatternsVerificato sulla scheda ufficiale il 02/10/2026
Baier – Principles of Model CheckingVerificato sulla scheda ufficiale il 02/10/2026
Bartocci – Lectures on Runtime VerificationVerificato sulla scheda ufficiale il 02/10/2026
W. MVerificato 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.

Apri nel catalogo: Informatica – sede di Modena, 2º anno, tutte le materie e i canali ›

Testi d'esame di Metodi per il Ciclo di Vita del Software del prof. Angelo Ferrando, canale unico, corso di laurea in Informatica – sede di Modena (Laurea magistrale (LM-18)), Università degli Studi di Modena e Reggio Emilia, 2º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: 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.

Vedi anche: Prof. Angelo Ferrando · Metodi per il Ciclo di Vita del Software a Modena e Reggio Emilia (tutti i canali)