Libri UniversitariApri il catalogo

Prof. Vittorio Cortellessa

Università degli Studi dell'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Vittorio Cortellessa

Materie del prof. Vittorio Cortellessa

Sistemi Operativi con Laboratorio Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea triennale (L-31) · 2º anno · 1º semestre · 12 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 12 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 2º anno · 1º semestre ›

Richard Stevens – Advanced Programmingin the UNIX EnvironmentCerca su Amazon ›Da studiare: Vol. 3rd EditionVerificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Richard Stevens – Advanced Programmingin the UNIX EnvironmentCerca su Amazon ›Da studiare: Vol. 3rd EditionVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: ------------------------------------------------------------ Modulo: F1I020 - SISTEMI OPERATIVI ------------------------------------------------------------ Concetti generali, strutture dei sistemi di calcolo e dei sistemi operativi. (20%) I processi e lo scheduling della CPU. (20%) Sincronizzazione tra processi e la gestione del deadlock. (40%) Gestione della memoria principale. La memoria virtuale.

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

Software Architectures & Quality Engineering – con Prof. Henry Muccini Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 12 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 12 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 1º anno · 1º semestre ›

Len Bass – SOFTWARE ARCHITECTURE IN PRACTICECerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Connie – Lloyd WilliamsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Cortellessa – Model-based Software Performance AnalysisCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: ------------------------------------------------------------ Modulo: DT0223 - SOFTWARE ARCHITECTURES ------------------------------------------------------------ Il corso tratterà, tra gli altri, i seguenti argomenti principali: - Componenti e connettori: elementi fondamentali di un'architettura software (6 ore); - Stili e modelli architetturali: i principali stili utilizzati nelle specifiche dell'architettura…

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

Software Quality Engineering Canale unico

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

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 6 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 2º anno · 1º semestre ›

Cortellessa – Model-based Software Performance AnalysisCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Architetture software. Ingegneria basata sui modelli. Profilazione UML. Convalida non funzionale del software. Affidabilità (definizioni). Analisi di performance.

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

Advanced Models For Software Engineering – con Prof. Alfonso Pierantonio Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · 2º anno · 2º semestre · Ase - Advanced Software Engineering · 6 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 6 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 2º anno · 2º semestre ›

Modeling with Jjodel, Alfonso Pierantonio et al., SpringerCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Documentazione e codice sorgente di Jjodel:
  • Materiale del docente sull'harness engineering e articoli scientifici selezionati, forniti durante il corso
  • Nessun testo predefinito. Verranno forniti capitoli di libri specifici e articoli scientifici, a seconda degli argomenti specifici trattati.

Argomenti del programma: ------------------------------------------------------------ Modulo: DT0318 - ADVANCED MODELLING TECHNIQUES ------------------------------------------------------------ 1) Jjodel dall'interno Architettura della piattaforma: JjOM, sottomodelli Data/Node/View, viewpoint, store reattivo Invarianti architetturali e zone critiche della base di codice Lettura guidata del repository 2) L'harness di sviluppo di Jjodel…

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

Advanced Verification And Validation Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · esame facoltativo · 3 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 3 CFU · apri nel catalogo

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

Bacheca del docente: cosa indica di studiare
  • Nessun testo predefinito. Verranno forniti capitoli di libri specifici e articoli scientifici, a seconda degli argomenti specifici trattati.

Argomenti del programma: Introduzione ai problemi avanzati nell'analisi delle prestazioni e dell'affidabilità, sia nel contesto della modellazione software che nella fase di testing. L’utilizzo di tecniche basate sull’Intelligenza Artificiale è parte fondamentale del corso.

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

Software Quality Engineering Canale unico

Corso di laurea: Ingegneria Informatica – sede di L'Aquila · Laurea magistrale (LM-32) · esame facoltativo · Information Technology · 6 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 6 CFU · apri nel catalogo · Ingegneria Informatica – sede di L'Aquila · 2º anno · 1º semestre ›

Cortellessa – Model-based Software Performance AnalysisCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Architetture software. Ingegneria basata sui modelli. Profilazione UML. Convalida non funzionale del software. Affidabilità (definizioni). Analisi di performance.

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. Vittorio Cortellessa per Sistemi Operativi con Laboratorio?

Richard Stevens – Advanced Programmingin the UNIX Environment

Quali libri consiglia il prof. Vittorio Cortellessa per Software Architectures & Quality Engineering?

Len Bass – SOFTWARE ARCHITECTURE IN PRACTICE; Connie – Lloyd Williams

Quali libri consiglia il prof. Vittorio Cortellessa per Software Quality Engineering (Informatica – sede di L'Aquila, canale unico)?

Cortellessa – Model-based Software Performance Analysis

Quali libri consiglia il prof. Vittorio Cortellessa per Advanced Models For Software Engineering?

Modeling with Jjodel, Alfonso Pierantonio et al., Springer

Quali libri consiglia il prof. Vittorio Cortellessa per Software Quality Engineering (Ingegneria Informatica – sede di L'Aquila, canale unico)?

Cortellessa – Model-based Software Performance Analysis