Presentazione di corsi di laurea in Informatica e laurea magistrale in computer science

1. Computer Science @ UNICAM
Presentazione dei Corsi di Laurea in Informatica (L-31)
e Laurea Magistrale in Computer Science (LM18)
Aula Arangio Ruiz, Palazzo Ducale – Camerino
30 Settembre 2015
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 1 / 45

2. ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 2 / 45

3. La Sezione di Informatica di UNICAM
ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 3 / 45

4. La Sezione di Informatica di UNICAM
La Sezione in numeri
Componenti della sezione (docenti, assegnisti, PhD) 30
Iscritti ca 500
Accordi di Double Degree 5
Progetti attualmente in corso (EU, POR, . . . ) 25
Budget complessivo 4.5Me
Stage aziendali fatti negli ultimi 5 anni oltre 500
Pubblicazioni internazionali dei docenti della sezione oltre 500
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 4 / 45

5. La Sezione di Informatica di UNICAM
La Sezione di Informatica - Organigramma
Leonardo Mostarda
Andrea Polini
Francesco Tiezzi
Roberto Gagliardi
Fausto Marcantoni
Rosario Culmone
M.Concetta De Vivo
Diletta Cacciagrano
Alberto Polzonetti
Direttore di Sezione
Responsabile all’Orientamento
Responsabile dei Corsi di Studio
Responsabile all’Internazionalizzazione
Responsabile Tutorato
Responsabile Stage
Responsabile Pratiche Studenti
Responsabile Servizio Disabili
Responsabile Stage Internazionali
Responsabile Logistica
nome.cognome@unicam.it
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 5 / 45

6. La Sezione di Informatica di UNICAM
Linee di ricerca rilevanti
Missione
Modellazione, analisi, verifica formale, deployment di sistemi distribuiti
Interessi di ricerca
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 6 / 45

7. La Sezione di Informatica di UNICAM
Linee di ricerca rilevanti
Missione
Modellazione, analisi, verifica formale, deployment di sistemi distribuiti
Principali linee di ricerca
Modellazione, analisi e implementazione di processi di business
Metodi e linguaggi formali per sistemi complessi
Analisi, verifica e testing di sistemi distribuiti
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 6 / 45

8. La Laurea Triennale in Informatica (L-31)
ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 7 / 45

9. La Laurea Triennale in Informatica (L-31)
Obiettivi Formativi
La laurea fornisce competenze teoriche, metodologiche,
sperimentali ed applicative nelle aree fondamentali dell’informatica
I laureati del corso di laurea devono:
possedere conoscenze e competenze nei vari settori delle scienze e tecnologie
dell’informazione e della comunicazione mirate al loro utilizzo nella
progettazione, sviluppo e gestione di sistemi informatici;
avere capacità di affrontare e analizzare problemi e di sviluppare sistemi
informatici per la loro soluzione;
acquisire le metodologie di indagine ed essere in grado di applicarle in situazioni
concrete con appropriata conoscenza degli strumenti matematici di supporto alle
competenze informatiche;
essere in grado di utilizzare efficacemente, in forma scritta e orale, almeno una
lingua dell’Unione Europea, oltre l’italiano;
essere capaci di lavorare in gruppo, di operare con definiti gradi di autonomia e
di inserirsi prontamente negli ambienti di lavoro.
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 8 / 45

10. La Laurea Triennale in Informatica (L-31)
Piano di Studi - 1◦
anno
Programmazione 12 CFU (6 di Lab.)
Calcolo ed Algebra Lineare 12 CFU
Logica Matematica 6 CFU
Fondamenti di Informatica 6 CFU
Architettura degli Elaboratori 12 CFU (6 di Lab.)
Diritto delle Nuove Tecnologie 6 CFU
Lingua Inglese (livello minimo B1) 6 CFU
Totale 1◦ anno 60 CFU (12 di Lab)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 9 / 45

11. La Laurea Triennale in Informatica (L-31)
Piano di Studi - 2◦
anno
Algoritmi e Strutture Dati 12 CFU (6 di Lab.)
Gestione dell’Informazione 6 CFU
Internet, Reti e Sicurezza 9 CFU (3 di Lab.)
Sistemi Operativi 9 CFU (3 di Lab.)
Scelta Matematica 6 CFU
Programmazione Web 6 CFU
Business e Management nell’IT 6 CFU
Crediti Liberi 6 CFU
Totale 2◦ anno 60 CFU (12 di Lab.)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 10 / 45

12. La Laurea Triennale in Informatica (L-31)
Piano di Studi - 3◦
anno
A scelta tra i proposti 12 CFU
Ingegneria del Software 12 CFU (6 di Lab.)
Progetto di gruppo 12 CFU
Stage 12 CFU
Crediti Liberti 6 CFU
Prova finale 6 CFU
Totale 3◦ anno 60 CFU
Totale Percorso 180 CFU (30 di Lab.)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 11 / 45

13. La Laurea Triennale in Informatica (L-31)
Esami a scelta 1/2
Scelta Matematica
Calcolo delle Probabilità e Statistica 6 CFU
Calcolo Numerico 6 CFU
Ricerca Operativa 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 12 / 45

14. La Laurea Triennale in Informatica (L-31)
Esami a scelta 2/2
Scelta Informatica
IT Security 6 CFU
Distributed Systems 6 CFU
Networking Fundamentals (CISCO I-II) 6 CFU
Networking Discovery (CISCO III-IV) 6 CFU
Formal Languages and Compilers 6 CFU
Model Checking 6 CFU
Advanced Business Process Management 6 CFU
Advanced Databases 6 CFU
Modelling and Simulation 6 CFU
Modelling and Verification 6 CFU
Mobile Programming 6 CFU
Machine Learning - Neural Networks 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 13 / 45

15. La Laurea Triennale in Informatica (L-31)
Stage++ - vista aritmetica
Percorso Standard
Progetto di gruppo 12 CFU
Stage 12 CFU
Prova finale 6 CFU
Stage++
Progetto di gruppo 12 CFU +
Stage 12 CFU +
Prova finale 6 CFU =
Totale 30 CFU (6 mesi ca.)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 14 / 45

16. La Laurea Triennale in Informatica (L-31)
Stage++ - vista aritmetica
Percorso Standard
Progetto di gruppo 12 CFU
Stage 12 CFU
Prova finale 6 CFU
Stage++
Progetto di gruppo 12 CFU +
Stage 12 CFU +
Prova finale 6 CFU =
Totale 30 CFU (6 mesi ca.)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 14 / 45

17. La Laurea Triennale in Informatica (L-31)
Stage++ - obiettivi
Partita a tre ruoli
Azienda:
sperimentare nuove soluzioni, tecnologie, metodologie . . .
monitorare e valutare persone nello svolgimento di attività di lavoro
“reale” e in un contesto complesso
Studente:
calarsi in un contesto di lavoro stimolante per mettersi alla prova
Docente:
sperimentare e validare idee e soluzioni in contesti concreti
creare e sviluppare collaborazioni con imprese che
auspicabilmente possano maturare in progetti più corposi di varia
natura (EU, POR, etc.)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 15 / 45

18. La Laurea Triennale in Informatica (L-31)
Stage++ - vista operativa
L’azienda identifica un problema sul quale voler sperimentare, e
pianifica le attività di sperimentazione in accordo al possibile
coinvolgimento di almeno 2, ed al massimo 4, studenti.
L’azienda descrive e comunica al responsabile per gli Stage++ il
problema e le linee guida del progetto (ambiti tecnologici,
metodologici, contesto lavorativo etc.)
Il responsabile degli Stage++ identifica un docente interessato a
partecipare al progetto
Il docente raffina con l’azienda il progetto ed piano operativo
Gli studenti necessari vengono identificati ed il progetto ha inizio
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 16 / 45

19. La Laurea Triennale in Informatica (L-31)
Stage++ - vista formale
Registrazione degli esami
Il lavoro di indagine di definizione della soluzione e di
pianificazione viene documentato e costituisce il lavoro utile alla
valutazione del Progetto di Gruppo (voto)
Il lavoro di sviluppo, da svolgersi obbligatoriamente presso
l’azienda, costituisce attività utile allo svolgimento dello stage
(idoneità)
La sintesi finale ed i risultati vengono descritti nel lavoro di tesi
che dovrà ragionevolmente rappresentare un lavoro di 6 mesi per
ogni studente. (voto)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 17 / 45

20. La Laurea Magistrale in Computer Science (LM18)
ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 18 / 45

21. La Laurea Magistrale in Computer Science (LM18)
Obiettivi Formativi
La laurea fornisce approfondite competenze teoriche, metodologiche,
sperimentali ed applicative nelle aree fondamentali dell’informatica.
Il laureato dovrà essere capace di pianificare, progettare, sviluppare,
assumere la direzione lavori, stimare, collaudare e gestire sistemi complessi
e/o innovativi per la generazione, la trasmissione e l’elaborazione delle
informazioni, anche con metodologie avanzate, innovative o sperimentali
I laureati nei corsi di laurea magistrale della classe devono in particolare:
possedere solide conoscenze sia dei fondamenti che degli aspetti applicativi dei
vari settori dell’informatica;
conoscere in modo approfondito i principi, le strutture e l’utilizzo dei sistemi di
elaborazione;
conoscere fondamenti, tecniche e metodi di progettazione e realizzazione di
sistemi informatici, sia di base sia applicativi;
possedere elementi di cultura aziendale e professionale;
essere in grado di lavorare con ampia autonomia, anche assumendo
responsabilità di progetti e strutture.
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 19 / 45

22. La Laurea Magistrale in Computer Science (LM18)
Indirizzi
Il corso di laurea magistrale in Computer Science dall’A.A. 2015/2016
ha attivato tre differenti percorsi che prevedono sostanziali differenze
negli esami da sostenere (54 CFU).
I tre indirizzi attivati sono:
Enterprise Software Systems (ESS)
Software and Systems for Industries (SSI)
Software Modeling and Verification (SMV)
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 20 / 45

23. La Laurea Magistrale in Computer Science (LM18)
Piano di Studi - 1◦
anno
English Language (almeno livello B2) 6 CFU
Complex Systems Design 12 CFU
Esami di indirizzo (gruppo I) 24 CFU
Esame a scelta di indirizzo (gruppo II) 6 CFU
Esame a scelta del percorso (gruppo III) 6 CFU
Scelta libera 6 CFU
Totale 1◦ anno 60 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 21 / 45

24. La Laurea Magistrale in Computer Science (LM18)
Piano di Studi - 2◦
anno
Esami di indirizzo (gruppo I) 12 CFU
Software Project Management 12 CFU
Scelta Libera 6 CFU
Tesi 30 CFU
Totale 2◦ anno 60 CFU
Totale percorso 120 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 22 / 45

25. La Laurea Magistrale in Computer Science (LM18)
Esami a scelta del percorso (6 CFU)
Theory of Complexity 6 CFU
Queuing Networks: Modeling 6 CFU
Financial Management and Strategy 6 CFU
Software Engineering II - Software Testing 6 CFU
Networking fundamentals CISCO (I-II) 6 CFU
Neural Networks 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 23 / 45

26. La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)
ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 24 / 45

27. La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)
Enterprise Software Systems - Visione d’Insieme
Il curriculum ha l’obiettivo d’integrare nozioni e competenze di gestione aziendale e
di tecnologia dell’informazione
Questo risulta in una combinazione di esperienze quale pre-requisito per uno
sviluppo con successo di soluzioni tecnologiche per le aziende che intendono
fornire prodotti e servizi
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 25 / 45

28. La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)
Enterprise Software Systems - Obiettivi
“Probabilmente dovrei essere piu’ chiara quando dico di voler costruire un ponte tra la
gestione aziendale e le tecnologie dell’informazione”
Acquisire competenze nell’utilizzo di soluzioni IT avanzate in grado di migliorare
le capacita’ organizzative aziendali
Prepararsi per un mercato del lavoro globale
Porre particolare attenzione alle problematiche introdotte dai cambiamenti
organizzativi
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 26 / 45

29. La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)
Indirizzo Enterprise Software Systems (ESS)
1◦ anno - Esami Indirizzo
Complex Systems Design 12 CFU
Advanced Databases 6 CFU
Business Process Management and Flexibility 6 CFU
Knowledge Engineering and Business Intelligence 6 CFU
Alignment of Business and IT 6 CFU
2◦ Anno - Esami Indirizzo
Software Project Management 12 CFU
Business Process Digitalization and Cloud Computing 6 CFU
Mining Data and Processes 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 27 / 45

30. La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)
ESS - Esami a scelta di indirizzo
Queuing Networks: Simulation 6 CFU
Reactive Systems Verification 6 CFU
Knowledge Management and Competence Development 6 CFU
Formal Modeling of Software Intensive Systems 6 CFU
Distributed systems 6 CFU
IT Security 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 28 / 45

31. La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)
Prospettive Occupazionali
I laureati in Computer Science nel percorso ESS si rivolgono al
mondo del lavoro e saranno in grado di ...
... guidare il processo di innovazione aziendale
... avere a che fare con un ambiente in continua evoluzione
Specifiche competenze e metodologie acquisite permettono al
laureato anche l’inserimento in un percorso professionale
universitario
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 29 / 45

32. La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)
Double Degree e Testimonials
Gli studenti hanno l’opportunita’ di
ottenere la laurea magistrale
con doppio tiolo in Business
Information Systems rilasciata
da parte della FHNW (CH)
The pragmatic approach allows for a more direct relationship between teachers and
students. You can get reviews, tips and guides from the teachers and raise your level
of maturity - Jessica Usai, Double Degree Student FHNW
Knowing students coming from all over the world and having different backgrounds as
well as experiences is one of the factors which make this course very worthwhile. The
really good interaction with the professors is one of the success key of this course -
Emanuele Laurenzi, Double Degree Student FHNW
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 30 / 45

33. La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)
ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 31 / 45

34. La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)
Software and Systems for Industries - Visione
d’Insieme
Embedded systems are increasingly being joined together into an
"Internet of things" to enable several applications such as smart
homes, manufacturing, energy distribution, e-health, ambient assisting
living and mobility.
SSI vuole fornire agli studenti le conoscenze relative alle architetture
dei sistemi embedded, i concetti alla base dell’interconnessione e della
programmazione. Il percorso include anche sicurezza, simulazione e
verifica dei sistemi distribuiti, con focus sui sistemi embedded.
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 32 / 45

35. La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)
Software and Systems for Industries - Obiettivi
Comprendere l’architettura dei sistemi embedded;
Conoscere tecniche avanzate di programmazione dei sistemi embedded;
Saper progettare, programmare e realizzare Internet of things;
Gestire gli aspetti della sicurezza di rete;
Simulare e verificare sistemi distribuiti, con particolare attenzione al caso dei
sistemi embedded.
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 33 / 45

36. La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)
Software and Systems for Industries (SSI)
1◦ anno - Esami Indirizzo
Complex Systems Design 12 CFU
IT Security 6 CFU
Embedded Systems: Architecture and Basic Concepts 6 CFU
Internetworking Ubiquitous Systems 6 CFU
Distributed Systems 6 CFU
2◦ Anno - Esami Indirizzo
Embedded Systems Programming 6 CFU
Cyber Physical systems 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 34 / 45

37. La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)
SSI - Esami a scelta di indirizzo
Queuing Networks: Simulation 6 CFU
Reactive Systems Verification 6 CFU
Distributed Calculus and Coordination - Module I 6 CFU
Formal Modeling of Software Intensive Systems 6 CFU
Formal Languages and Compilers 6 CFU
Networking discovery CISCO (III-IV) 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 35 / 45

38. La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)
Prospettive Occupazionali
I laureati in Computer Science nel percorso SSI si rivolgono al
mondo del lavoro presso:
Utilizzatori dei prodotti embedded, quali PA, società produttrici di
beni di consumo, aziende per sistemi di trasporto, aziende per il
monitoraggio, smart-∗ . . .;
Fornitori di sistemi embedded;
Società per il progetto, il controllo e la gestione di reti;
Università e centri di ricerca operanti nei settori dei sistemi
embedded e dell’internetworking;
Consulenti esperti nella gestione della sicurezza di reti e dei sistemi
embedded;
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 36 / 45

39. La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)
ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 37 / 45

40. La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)
Software Modeling and Verification (SMV)
Obbiettivo
Formare progettisti e analisti di sistemi software in grado di gestire
progetti complessi su larga scala, che possono coinvolgere aspetti
critici per la sicurezza
Competenze fornite:
Paradigma di sviluppo: model-driven software engineering
Basi rigorose di supporto a
verifica e analisi
sviluppo corretto di sistemi critici
Sbocchi professionali:
Industria: Progettazione, Ricerca e Sviluppo, Innovazione
Accademia: PhD in Italia e all’estero
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 38 / 45

41. La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)
Software Modeling and Verification (SMV)
Obbiettivo
Formare progettisti e analisti di sistemi software in grado di gestire
progetti complessi su larga scala, che possono coinvolgere aspetti
critici per la sicurezza
Competenze fornite:
Paradigma di sviluppo: model-driven software engineering
Basi rigorose di supporto a
verifica e analisi
sviluppo corretto di sistemi critici
Sbocchi professionali:
Industria: Progettazione, Ricerca e Sviluppo, Innovazione
Accademia: PhD in Italia e all’estero
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 38 / 45

42. La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)
Software Modeling and Verification (SMV)
Obbiettivo
Formare progettisti e analisti di sistemi software in grado di gestire
progetti complessi su larga scala, che possono coinvolgere aspetti
critici per la sicurezza
Competenze fornite:
Paradigma di sviluppo: model-driven software engineering
Basi rigorose di supporto a
verifica e analisi
sviluppo corretto di sistemi critici
Sbocchi professionali:
Industria: Progettazione, Ricerca e Sviluppo, Innovazione
Accademia: PhD in Italia e all’estero
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 38 / 45

43. La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)
Software Modeling and Verification (SMV)
Obbiettivo
Formare progettisti e analisti di sistemi software in grado di gestire
progetti complessi su larga scala, che possono coinvolgere aspetti
critici per la sicurezza
1◦ anno - Esami Indirizzo
Complex Systems Design 12 CFU
Distributed Calculus and Coordination 12 CFU
Formal Modeling of Software Intensive Systems 6 CFU
Reactive Systems Verification 6 CFU
2◦ Anno - Esami Indirizzo
Software Project Management 12 CFU)
Real-time and Probabilistic Systems Verification 6 CFU
Domain Specific Formal Languages 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 39 / 45

44. La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)
SMV - Esami a scelta di indirizzo
Queuing Networks: Simulation 6 CFU
Business Process Management and Flexibility 6 CFU
Knowledge Engineering and Business Intelligence 6 CFU
Distributed systems 6 CFU
IT Security 6 CFU
Internetworking Ubiquitous Systems 6 CFU
Formal Languages and Compilers 6 CFU
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 40 / 45

45. Percorsi Internazionali con Double Degree
ToC
1 La Sezione di Informatica di UNICAM
2 La Laurea Triennale in Informatica (L-31)
3 La Laurea Magistrale in Computer Science (LM18)
Percorso Enterprise Software Systems (ESS)
Percorso Software and Systems for Industries (SSI)
Percorso Software Modeling and Verification (SMV)
4 Percorsi Internazionali con Double Degree
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 41 / 45

46. Percorsi Internazionali con Double Degree
Double Degree o Doppi Titoli
Accordi Bilaterali tra UNICAM e Università Partner (UP) in Europa
e nel Mondo
Alcuni studenti selezionati effettuano una mobilità presso la UP
per esami e/o tesi
Al termine del percorso lo studente ottiene:
il titolo italiano da UNICAM
e anche
il titolo straniero dalla UP
Tesi o progetti co-supervisionati:
Collaborazioni su progetti UE
Collaborazioni con Aziende UE e Internazionali
Rete internazionale per partenariato progetti UE o Internazionali
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 42 / 45

47. Percorsi Internazionali con Double Degree
Laurea Magistrale in Computer Science UNICAM
Reykjavik University (Islanda)
MSc in Computer Science, Spec. in Game Development
dal 2008
University of Applied Sciences and Arts Northwestern Switzerland
(Svizzera)
MSc in Business Information Systems
dal 2009
Universidad Nacional De Catamarca (Argentina)
Título de Grado en Ingeniería Informática
dal 2011
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 43 / 45

48. Percorsi Internazionali con Double Degree
Laurea in Informatica UNICAM
Middlesex University London (UK)
BSc Hons Computer Networks
dal 2013
Hanoi University (Vietnam)
BSc in Information Technology
dal 2014
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 44 / 45

49. Percorsi Internazionali con Double Degree
GRAZIE!
infocs@unicam.it
Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 45 / 45