Libri UniversitariApri il catalogo

Prof. Pierluigi San Pietro

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Pierluigi San Pietro

Materie del prof. Pierluigi San Pietro

Formal Methods For Software Engineering (Uic 540) Canale unico

Corso di laurea: Automation and Control Engineering · Laurea triennale · esame facoltativo · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo · Automation and Control Engineering · 2º semestre ›

Christel Baier – Principles of Model CheckingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Furia – Modeling Time in ComputingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Formal Methods For Software Engineering (Uic 540) Canale unico

Corso di laurea: Computer Science and Engineering · Laurea triennale · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo · Computer Science and Engineering · 2º semestre ›

Christel Baier – Principles of Model CheckingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Furia – Modeling Time in ComputingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Ingegneria del Software Canale unico

Corso di laurea: Ingegneria Informatica · Laurea triennale · 3º anno · 2º semestre · Ingegneria Informatica Online · 10 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 10 CFU · apri nel catalogo · Ingegneria Informatica · 3º anno · 2º semestre ›

Testi consigliati (facoltativi)

979-1280623508Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Gamma – Design patternsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Liskov – Program Development in JavaCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Pierluigi San – Ingegneria del SoftwareCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Introduzione all'Ingegneria del software. - Il ciclo di vita del software. - La progettazione orientata in Java - Unified Modeling Language: diagrammi di sequenza e delle classi. - Principi del test funzionale e strutturale. - Design pattern per la progettazione ad oggetti. - Principi di programmazione concorrente, di rete e distribuita. - Cenni ai principi di programmazione delle interfacce utente.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Ingegneria del Software ZZZZZ-ZZZZZZ

Corso di laurea: Music and Acoustic Engineering · Laurea triennale · esame facoltativo · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo · Music and Acoustic Engineering · 1º semestre · canale ZZZZZ-ZZZZZZ ›

Camilli – Software EngineeringCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Cesari – Nuove tecniche e paradigmiCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Liskov – Program Development in JavaCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Docenti del corso, Dispense del Corso Note: Le dispense sono scaricabili in pdf a partire dalle pagine web dei docenti.

Argomenti del programma: Introduzione all'Ingegneria del software. Il ciclo di vita del software. Introduzione al modello orientato agli oggetti e alla sua specifica. La progettazione orientata agli oggetti: Il linguaggio Java. La specifica e l'implementazione di metodi e classi. Unified Modeling Language: diagrammi di sequenza e delle classi. Schemi di progettazione (design pattern - modalità flipped ).

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. Pierluigi San Pietro per Formal Methods For Software Engineering (Uic 540) (Automation and Control Engineering, canale unico)?

Christel Baier – Principles of Model Checking; Furia – Modeling Time in Computing

Quali libri consiglia il prof. Pierluigi San Pietro per Formal Methods For Software Engineering (Uic 540) (Computer Science and Engineering, canale unico)?

Christel Baier – Principles of Model Checking; Furia – Modeling Time in Computing

Quali libri consiglia il prof. Pierluigi San Pietro per Ingegneria del Software (Ingegneria Informatica, canale unico)?

979-1280623508; Gamma – Design patterns; Liskov – Program Development in Java; Pierluigi San – Ingegneria del Software

Quali libri consiglia il prof. Pierluigi San Pietro per Ingegneria del Software (Music and Acoustic Engineering, canale ZZZZZ-ZZZZZZ)?

Camilli – Software Engineering; Cesari – Nuove tecniche e paradigmi; Liskov – Program Development in Java