Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Piano Didattico

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
6
B
ING-INF/05
12
B
INF/01
6
B
ING-INF/05
12
B
ING-INF/05
6
B
ING-INF/05
6
C
INF/01

2° Anno   Attivato nell'A.A. 2017/2018

InsegnamentiCreditiTAFSSD
6
B
INF/01
6
B
ING-INF/05
Taf f (altre attività formative)
4
F
-
24
E
-
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
6
B
ING-INF/05
12
B
INF/01
6
B
ING-INF/05
12
B
ING-INF/05
6
B
ING-INF/05
6
C
INF/01
Attivato nell'A.A. 2017/2018
InsegnamentiCreditiTAFSSD
6
B
INF/01
6
B
ING-INF/05
Taf f (altre attività formative)
4
F
-
24
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
Due insegnamenti a scelta
6
C
INF/01
6
C
INF/01
6
C
FIS/01
6
C
INF/01
6
C
INF/01
6
C
SECS-P/10
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
Tra gli anni: 1°- 2°
8
D
-

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Verifica automatica di sistemi  (2016/2017)

Codice insegnamento

4S003252

Docente

Nicola Fausto Spoto

Coordinatore

Nicola Fausto Spoto

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

II sem. dal 1 mar 2017 al 9 giu 2017.

Seminari 0

Obiettivi formativi

Scopo del corso è la presentazione della programmazione e verifica di sistemi software, con particolare attenzione agli aspetti di concorrenza e mobilità. Vengono inizialmente presentati i costrutti sintattici, la loro semantica e gli strumenti per la programmazione concorrente, i problemi conseguenti e le possibilità di verifica di correttezza tramite strumenti automatici. Viene quindi presentata la programmazione di servizi web concorrenti basati su servlet. Infine viene descritta la programmazione di software mobile, tipicamente accoppiato a dei servizi web, in cui la concorrenza ha un utilizzo ormai sempre più esteso. Il corso utilizza il linguaggio Java e il framework Android come contesti concreti in cui sviluppare le soluzioni software.

Programma

Programmazione concorrente: motivazioni e problemi
Modello della memoria di Java
Costrutti e libreria per la concorrenza in Java
Verifica di sistemi concorrenti: annotazione del codice e analisi statica
Programmazione di servizi web con servlet Java
Programmazione mobile: problemi specifici
Interfacce mobili e relativa usabilità
Design pattern per interfacce mobili
Componenti Android e intenti
Interfacce utente in Android
Concorrenza in Android
Il pattern MVC in Android
Il pattern master/detail in Android
Consumo di servizi web da Android

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
G. Blake Meike Android Concurrency (Edizione 1) Addison-Wesley 2016 978-0-13-417743-4 Testo di supporto per approfondimento, non essenziale
Bill Phillips et al. Android Programming - The Big Nerd Ranch Guide (Edizione 2) Big Nerd Ranch 2015 978-0134171456 Testo di supporto per approfondimento, non essenziale
Brian Goetz et al Java Concurrency in Practice (Edizione 1) Addison-Wesley 2015 978-0-321-34960-6 Testo didattico consigliato, essenziale per seguire il corso

Modalità d'esame

Sviluppo di un'applicazione concorrente in Android. Presentazione e discussione orale sul codice dell'applicazione.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti