Corso di Laurea Specialistica in Informatica Curriculum Progettazione Software Curriculum Sistemi di Elaborazione

2 Ottobre 3 1 Per chi il triennio non è sufficiente Problema di ambizioni e prospettive Per trovare UN lavoro: –la laurea triennale e’ sufficiente Per alcune mansioni (project leader/manager, analista) la laurea specialistica e’ necessaria: –maturita’ superiore a quella fornita dal triennio –richiesta del titolo da parte delle aziende –competizione con altre figure (es. ingegneri)

2 Ottobre 3 2 Perché scegliere la laurea specialistica Percorso formativo che permette ampliamento base culturale, fornendo nuove conoscenze e approfondimenti –teorici –tecnologici –pratici Figure professionali in –analisi e progettazione ad alto livello dei sistemi –gestione (management) di progetti –ricerca in centri di ricerca o industria (R&D)

Compilazione del piano di studi

2 Ottobre 3 4 Obbligatori per tutti Gli obbligatori della laurea triennale per tutti + –Applicazioni di Rete –Complementi di Algoritmi e Strutture Dati –Sicurezza –TAP (Ingegneria del SW I da 6 CFU) –Calcolabilità e complessità Un corso teorico a scelta fra due Un corso di laboratorio a scelta fra due Due corsi di matematica Fisica Generale II Inglese (da PET a FIRST CERTIFICATE)

2 Ottobre 3 5 Obbligatori: Progettazione SW Gli obbligatori del triennio per questo indirizzo –Esempio: Logica Matematica Matematica: Logica 2 e CTCCTC Ingegneria del Software 2 Un corso di Basi di Dati a scelta –Architetture dei sistemi di gestione dati –Modelli dei dati di nuova generazione (Basi di dati e sistemi informativi: evoluzioni recenti) Implementazione di Linguaggi 2 (non attivato quest’anno)

2 Ottobre 3 6 Obbligatori: Sistemi di elaborazione Gli obbligatori del triennio per questo indirizzo Matematica: Logica 2 e CTCCTC STC Un corso di Basi di Dati a scelta fra due –Architetture dei sistemi di gestione dati –Modelli dei dati di nuova generazione (Basi di dati e sistemi informativi: evoluzioni recenti) Architetture Parallele 2 Sistemi Distribuiti 2

2 Ottobre 3 7 Facoltativi: SW e Sistemi Sistemi Operativi 3 Laboratorio Specialistico di Informatica 1 Laboratorio Specialistico di Informatica 2 Informatica Teorica 1 Informatica Teorica 2 oImplementazione di Linguaggi 2 (non attivato quest’anno) oIngegneria del Software 2Ingegneria del Software 2 oIntelligenza Artificiale 2Intelligenza Artificiale 2 Corsi facoltativi del 3 non già presi (elenco A)

2 Ottobre 3 8 Sistemi Operativi 3 Gabriella Dodero e Vittoria Gianuzzi Semestre I 6 CFU Inizio: 6/10 ore 11 Contenuti –Argomenti "advanced" sui sistemi operativi, per questo a.a. si trattera' di sistemi per il multimedia e reti wireless Prerequisiti –SO1 e SO2 Particolarmente raccomandato per –sistemisti Parole chiave –sistemi per il multimedia e reti wireless

2 Ottobre 3 9 Ingegneria del Software 2 Egidio Astesiano e Gianna Reggio Semestre II6 CFU Contenuti –Tecniche per la cattura e la specifica dei requisiti –Tecniche innovative di sviluppo software, fra cui metodi agili, ad agenti, Model Driven Architecture (MDA) –Tecniche formali di supporto allo sviluppo del software –Laboratorio: sperimentazione di alcune tecniche presentate Prerequisiti –Ingegneria del software (con o senza 1) Particolarmente raccomandato per progettisti software a vari livelli Parole chiave –Cattura e specifica dei requisiti, Metodi Agili, Metodi Formali, Model Driven Architecture (MDA), Tecniche ad agenti

2 Ottobre 3 10 Intelligenza Artificiale 2 Maurizio Martelli e Giorgio Delzanno Semestre 2 6 CFU Contenuti –Approfondimenti di modellazione della conoscenza, ragionamento e apprendimento automatico Prerequisiti –Intelligenza artificiale 1 –Logica Particolarmente raccomandato per –Persone orientate a ricerca e applicazioni avanzate Parole chiave –Sistemi intelligenti, linguaggi per la rappresentazione della conoscenza

2 Ottobre 3 11 Crittografia e Teoria dei Codici Teo Mora Semestre 1 6 CFU Contenuti –Soluzioni di sistemi di equazioni polinomiali –Crittografia a chiave pubblica: RSA e logaritmo discreto –Teoria dei codici: codici lineari e BCH Prerequisiti –Matematica discreta Particolarmente raccomandato per chi è interessato a problematiche di sicurezza Parole chiave –RSA, BCH

2 Ottobre 3 12 Informatica Teorica 1 e 2 Maura Cerioli Semestre I/II 6 CFU ciascuno Contenuti –semantica statica e dinamica di linguaggi –specifiche algebriche e asserzioni; semantica dei linguaggi per la concorrenza Prerequisiti –Matematica Discreta, Logica, LP Particolarmente raccomandato per –chi ama la teoria e le materie matematiche