Corso di Laurea Specialistica in
Informatica
Curriculum Progettazione Software
Curriculum Sistemi di Elaborazione
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
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/DoderoG/multi/SO3-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
– SO1 e SO2
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/ReggioG/ISII04WWW/
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/MoraF/crypto03.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/CerioliM/MFI2003-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