Corso di Laurea Specialistica in Informatica Curriculum Progettazione

Corso di Laurea Specialistica in Informatica Curriculum Progettazione Software Curriculum Sistemi di Elaborazione 2 Ottobre 3

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 1

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) 2 Ottobre 3 2

Compilazione del piano di studi 2 Ottobre 3

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 4

Obbligatori: Progettazione SW • Gli obbligatori del triennio per questo indirizzo – Esempio: Logica Matematica • Matematica: Logica 2 e CTC • 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 5

Obbligatori: Sistemi di elaborazione • • Gli obbligatori del triennio per questo indirizzo Matematica: Logica 2 e CTC 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 6

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

Sistemi Operativi 3 Gabriella Dodero e Vittoria Gianuzzi Semestre I 6 CFU http: //www. disi. unige. it/person/Dodero. G/multi/SO 3 -2003. htm 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 – SO 1 e SO 2 Particolarmente raccomandato per – sistemisti Parole chiave – sistemi per il multimedia e reti wireless 2 Ottobre 3 8

Ingegneria del Software 2 Egidio Astesiano e Gianna Reggio Semestre II 6 CFU http: //www. disi. unige. it/person/Reggio. G/ISII 04 WWW/ 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 9

Intelligenza Artificiale 2 Maurizio Martelli e Giorgio Delzanno Semestre 2 Contenuti 6 CFU – 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 10

Crittografia e Teoria dei Codici Teo Mora Semestre 1 6 CFU http: //www. disi. unige. it/person/Mora. F/crypto 03. html 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 11

Informatica Teorica 1 e 2 Maura Cerioli Semestre I/II 6 CFU ciascuno http: //www. disi. unige. it/person/Cerioli. M/MFI 2003 -2004 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 2 Ottobre 3 12