2015
2015
Sei collegato come utente non registrato
Il percorso ha la certificazione (STANDARD)
Corso di Laurea: Informatica - Computer Science  -  Percorso: Computer Science - Software Dependability and Cyber Security
Informazioni generali
Università "Ca' Foscari" VENEZIA Responsabile del Percorso Salvatore Orlando
Livello del Cdl MAGISTRALE Email orlando@unive.it
Docenti che insegnano nel corso*: 14 Scheda Unica Annuale (SUA) del Corso di Laurea: Nessun documento SUA caricato
(*) Questo è il numero di docenti appartenenti ai settori scientifico-disciplinari INF/01 o ING-INF/05 che svolgono il loro carico didattico istituzionale presso questo corso di laurea   Afferisce al primo corso di laurea iscritto Si
Commento in lingua inglese E' un percorso interdisciplinare No
Legenda delle Aree (versione standard)
A: Fondamenti G: Basi di dati A_M: Una qualunque delle aree da A a M
B: Algoritmi H: Computazione su rete altro INF: Crediti di INFORMATICA non classificati nelle aree
C: Programmazione I: Ingegneria del software INF: Crediti di INFORMATICA non classificabili a priori
D: Linguaggi L: Interazione, grafica e multimedialità altro: Crediti NON dell'INFORMATICA né della MATEMATICA
E: Architetture M: Rappresentazione della conoscenza NCP: Crediti Non Classificabili a priori
F: Sistemi operativi MAT: Crediti di MATEMATICA
Legenda delle Aree (versione beta)
AL: Algorithms and Complexity IS: Intelligent Systems SP: Social Issues and Professional Practice
AR: Architecture and Organization NC: Networking and Communication MAT: Crediti di MATEMATICA
DS: Discrete Structures OS: Operating Systems altro INF: Crediti di INFORMATICA non classificati nelle aree
GV: Graphics and Visualization PBD: Platform-Based Development INF: Crediti di INFORMATICA non classificabili a priori
HCI: Human Computer Interaction PD: Parallel and Distributed Computing altro: Crediti NON dell'INFORMATICA né della MATEMATICA
IAS: Information Assurance and Security PL: Programming Languages NCP: Crediti Non Classificabili a priori
IM: Information Management SE: Software Engineering
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M MAT A_M AL AR DS GV HCI IAS IM IS NC OS PBD PD PL SE SP MAT altro INF INF altro NCP
Advanced Algorithms and Programming Methods 12   6 6                                                            
Advanced Databases 6             6                                                    
Calculus and Optimization 6                       6                                          
Elective courses - Computer Science (M) 18                         18                                        
Elective courses - Mathematics and Statistics (M) 6                                                               6  
Formal Methods for System Verification 6       4         2                                                
Logic and Structures for Computer Science 6 6                                                                
Security 12           6   6                                                  
Software Correctness, Security, and Reliability 6       3         3                                 3 3            
                                                                     
Attività Extracurriculari 12                                                                 12
Lingue Straniere 0                                                                 0
Prova Finale 24                                                                 24
Tirocinio 6                                                                 6
TOTALE 120 6 6 6 7 0 6 6 6 5 0 0 6 18 6 3 3 0 0 6 42
Riepilogo dell'insegnamento: Advanced Algorithms and Programming Methods
Nome Advanced Algorithms and Programming Methods CFU 12
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

12 cfu così ripartiti nelle aree:

  • 6 CFU nell'area B - Algoritmi
  • 6 CFU nell'area C - Programmazione

Sillabo dell'insegnamento

  • B - Algoritmi
    • TAA - Tecniche Algoritmiche Avanzate
      Approximation Algorithms
    • TAA - Tecniche Algoritmiche Avanzate
      Local search techniques
    • TAA - Tecniche Algoritmiche Avanzate
      Randomized Algorithms
    • AP - Algoritmi Paralleli
      Models of computation and complexity measures, Interconnection networks, Parallel algorithmic techniques: application examples
    • AD - Algoritmi Distribuiti
      Distributed algorithms: Models and complexity measures, interconnection networks and network properties.
    • AD - Algoritmi Distribuiti
      Design and analysis of distributed algorithms: application examples
  • C - Programmazione
    • * POO - Programmazione Orientata agli Oggetti
      Classes, operators, inheritance, polymorphism, generic programming
    • * POO - Programmazione Orientata agli Oggetti
      Semantics and policies, type semantics, value and reference, lifetime and ownership policies, policy-based design
    • * POO - Programmazione Orientata agli Oggetti
      Functors and lambdas, stateful functors, overloading/overriding and double dispatching functors, lambdas, higher order functions
    • * POO - Programmazione Orientata agli Oggetti
      Separation of operation and transversal, generalized associativity/commutativity, optimization of reduction, Closures, Continuations
    • PP - Paradigmi di Programmazione
      Event programming patterns, command, listener/callback
    • PCC - Programmazione Concorrente
      Future and promises, Asynchronous Completion Token pattern, Reactor pattern, Acceptor-Connector pattern, Proactor pattern

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Advanced Databases
Nome Advanced Databases CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

  • G - Basi di dati
    • * DBMS - Sistemi di Gestione di Basi di Dati
      Files structures in secondary memory
    • * DBMS - Sistemi di Gestione di Basi di Dati
      Physical operators for relational DBMSs
    • OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
      Query optimization techniques
    • TCR - Transazioni, Concorrenza e Recovery
      Concurrency in DBMSs
    • TCR - Transazioni, Concorrenza e Recovery
      Transaction management
    • BDA - Basi di Dati Avanzate
      Main concepts for datawarehousing

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Calculus and Optimization
Nome Calculus and Optimization CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/09
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/09 - Ricerca Operativa
      Nozioni base in Rn, vettore Tangente e vettore Normale. Autovalori e Autovettori, Derivate miste e Derivate Direzionali, Differenziazione e Differenziazione Composta.
    • MAT/09 - Ricerca Operativa
      Teorema di Taylor. Teorema della Funzione Implicita. Teorema di Fubini.
    • MAT/09 - Ricerca Operativa
      Differenziali e Forme Esatte. Teorema e formule di Green, Integrali di Linea. Teorema di Stokes.
    • MAT/09 - Ricerca Operativa
      Minimi/Massimi Locali/Globali. Condizioni di ottimalità di Karush-Kuhn-Tucker. Nozioni e condizioni di Convessità. Teoremi del Valor Medio.
    • MAT/09 - Ricerca Operativa
      Metodi per l'Ottimizzazione Vincolata e Non Vincolata. Metodi al Gradiente, Gradiente Proiettato. Procedure di Linesearch. Metodi del Gradiente Coniugato e Quasi Newton. Metodi Active set.
    • MAT/09 - Ricerca Operativa
      Metodi di Penalità/Barriera. Metodi Lagrangiani e Lagrangiani Aumentati. Programmazione Quadratica Ricorsiva. Applicazioni con il quoziente di Rayleigh.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Elective courses - Computer Science
Nome Elective courses - Computer Science CFU 18
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare INF/01
   

18 cfu così ripartiti nelle aree:

  • 18 CFU nell'area A_M - Una qualunque delle aree da A a M
Riepilogo dell'insegnamento: Elective courses - Mathematics and Statistics
Nome Elective courses - Mathematics and Statistics CFU 6
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare SECS-S/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area altro - Crediti NON dell'INFORMATICA né della MATEMATICA
Riepilogo dell'insegnamento: Formal Methods for System Verification
Nome Formal Methods for System Verification CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 4 CFU nell'area D - Linguaggi
  • 2 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • D - Linguaggi
    • * S - Semantica
      The Calculus of Communicating Systems (CCS): syntax and semantics
    • ALC - Astrazioni Linguistiche e Composizionalità
      Behavioural equivalences and Bisimulation
    • * S - Semantica
      Performance Evaluation Process Algebra (PEPA): syntax and semantics
    • ALC - Astrazioni Linguistiche e Composizionalità
      Equivalence relations and aggregation methods
  • I - Ingegneria del software
    • MSQ - Misure del Software e Qualita'
      Applications to performance evaluation.
    • MSQ - Misure del Software e Qualita'
      Specification and analysis of security properties.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Logic and Structures for Computer Science
Nome Logic and Structures for Computer Science CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • L - Logica
      Il linguaggio matematico. I connettivi proposizionali, quantificatori esistenziale ed universale. La logica proposizionale classica ed intuizionista. Sintassi e semantica.
    • L - Logica
      La logica predicativa. Sintassi e semantica. Teorie, teorema di completezza e compattezza.
    • V - Varie
      Reticoli, proprietà modulare e distributiva. Complementazione.
    • V - Varie
      Algebre Booleane.
    • V - Varie
      Spazi metrici, convergenza, limite, spazi metrici completi. Spazi topologici, funzioni continue, sottospazi e prodotti.
    • V - Varie
      Compattezza, convergenza e limiti, compattezza locale, connessione.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Security
Nome Security CFU 12
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

12 cfu così ripartiti nelle aree:

  • 6 CFU nell'area F - Sistemi operativi
  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • GCA - Gestione e Controllo degli Accessi
      Background e strumenti
    • GCA - Gestione e Controllo degli Accessi
      Overflow e protezione dello stack
    • GCA - Gestione e Controllo degli Accessi
      Format strings
    • GCA - Gestione e Controllo degli Accessi
      Programmazione sicura
    • GCA - Gestione e Controllo degli Accessi
      Malware
    • GCA - Gestione e Controllo degli Accessi
      Sistemi hardened
  • H - Computazione su rete
    • * SR - Sicurezza delle Reti
      Crittografia applicata
    • * SR - Sicurezza delle Reti
      Firewalling
    • * SR - Sicurezza delle Reti
      Sicurezza Web client-side
    • * SR - Sicurezza delle Reti
      Sicurezza Web server-side
    • * SR - Sicurezza delle Reti
      Programmazione Web sicura
    • * SR - Sicurezza delle Reti
      Hardware crittografico

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Software Correctness, Security, and Reliability
Nome Software Correctness, Security, and Reliability CFU 6
Ore di didattica frontale per CFU 5 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area D - Linguaggi
  • 3 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • D - Linguaggi
    • TAV - Tecniche di Analisi e Verifica
      Semantics-based techniques for correctness and security analysis. Trace Semantics and Fixpoints
    • TAV - Tecniche di Analisi e Verifica
      Abstract Interpretation and Dataflow Analysis
    • TAV - Tecniche di Analisi e Verifica
      Introduction to Model Checking based verification
  • I - Ingegneria del software
    • MSQ - Misure del Software e Qualita'
      Software quality metrics and standard
    • MSQ - Misure del Software e Qualita'
      Software quality management
    • MSQ - Misure del Software e Qualita'
      Software Safety and Reliability

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Cloud Computing and Distributed Systems
Nome Cloud Computing and Distributed Systems CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * MIR - Modelli di Interazione in Rete
      Foundation. Introduction to distributed systems and cloud computing. Architectural models, classification. Principle of distributed system design. Communication. Client-server paradigm and IPC. Group and multicast communication. Network virtualization. Remote Method Invocation (RMI) and Remote Procedure Call (RPC). Types and semantics. Indirect communication, publish-subscribe systems.
    • * FCD - Fondamenti del Calcolo Distribuito
      Fundamental of cloud computing. Design of cloud computing. Mechanisms and architectures. Models, technologies and security. Cloud service and applications. Service quality metrics. Service oriented architectures.
    • SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
      Distributed operating systems. Processes: allocation and scheduling, migration and load balancing. Deadlock. OS virtualization.
    • * FCD - Fondamenti del Calcolo Distribuito
      Distributed operating systems. Processes: allocation and scheduling, migration and load Distributed File System. Model file service and design issues. Case studies: NFS, AFS. Case study: Google File System.
    • * ARTC - Architettura delle Reti di Calcolatori
      Synchronization and coordination in distributed systems. Algorithms for synchronization, coordination and agreement clock synchronization, mutual exclusion, global state. Causal ordering.
    • * ARTC - Architettura delle Reti di Calcolatori
      Shared Data. Replication, consistency and transactions. Consistency models. Architectural models of replication. Transactions and concurrency control in distributed systems. Distributed transactions. Mobility in distributed systems.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Computer Science
Riepilogo dell'insegnamento: Cryptography
Nome Cryptography CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area A - Fondamenti
  • 3 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • A - Fondamenti
    • V - Varie
      Asymmetric cryptography
    • V - Varie
      Introduction: typical properties and attacks
    • V - Varie
      Symmetric cryptography
  • H - Computazione su rete
    • * SR - Sicurezza delle Reti
      Cryptographic network algorithms
    • * SR - Sicurezza delle Reti
      Cryptographic protocols
    • * SR - Sicurezza delle Reti
      Identification

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Computer Science
Riepilogo dell'insegnamento: Data Design and Nature-Inspired Computing
Nome Data Design and Nature-Inspired Computing CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare SECS-S/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area altro - Crediti NON dell'INFORMATICA né della MATEMATICA

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Mathematics and Statistics
Riepilogo dell'insegnamento: Network Science
Nome Network Science CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Computer Science
Riepilogo dell'insegnamento: Numerical Algorithms
Nome Numerical Algorithms CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/08
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/08 - Analisi Numerica
      Solution of non-linear equations.
    • MAT/08 - Analisi Numerica
      Approximation of functions. Numerical differentiation and quadrature.
    • MAT/08 - Analisi Numerica
      Solution of linear systems.
    • MAT/08 - Analisi Numerica
      Numerical solution of ordinary differential equations.
    • MAT/08 - Analisi Numerica
      Numerical methods for boundary value problems.
    • MAT/08 - Analisi Numerica
      Representation of real numbers into a computer.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Mathematics and Statistics
Riepilogo dell'insegnamento: Performance Evaluation
Nome Performance Evaluation CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 5 CFU nell'area E - Architetture
  • 1 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • E - Architetture
    • VMP - Valutazione e Miglioramento delle Prestazioni
      Introduction to quality of service of systems analysis. Quantitative analysis of computer and communication systems. Quality of service, performance and reliability. Indices and measures of performance and reliability. Analysis by models and measurement techniques: analytical methods and simulation techniques. Modelling cycle. System and model classification.
    • VMP - Valutazione e Miglioramento delle Prestazioni
      Operational analysis and bound analysis. Fundamental laws: utilization law, Little's law, law of forced flow. Bound performance analysis for open and closed systems. Bottlenecks analysis and removal. Hierarchical modeling development.
    • VMP - Valutazione e Miglioramento delle Prestazioni
      Stochastic models for systems quantitative analysis. Queueing system models. Models based on Markovian stochastic processes. Stationary and transient solution. Basic queueing system models: M/M/1 systems, M/M/m, M/G/1. Application of queueing models for system performance and reliability evaluation.
    • VMP - Valutazione e Miglioramento delle Prestazioni
      Introduction to queueing network models. Product-form queueing networks. Solution methods and algorithms. Application examples of queueing models for system performance and reliability analysis.
    • VMP - Valutazione e Miglioramento delle Prestazioni
      Discrete event simulation. Simulation types and schemes. Events, activities, processes. Time management in simulation. Planning simulation experiments. Process oriented simulation. Pseudo-random number generators. Workload characterization. Output analysis. Simulation tools and languages.
  • I - Ingegneria del software
    • MSQ - Misure del Software e Qualita'
      Analytical models and discrete event simulation models. Quality of service evaluation for computer and communication systems. Software architecture performance evaluation.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Computer Science
Riepilogo dell'insegnamento: Software Performance and Scalability
Nome Software Performance and Scalability CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 1 CFU nell'area E - Architetture
  • 5 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • E - Architetture
    • VMP - Valutazione e Miglioramento delle Prestazioni
      API profiling framework, Definition, enabling, implementation, API profiling to solving software performance and scalability challenges
  • I - Ingegneria del software
    • MES - Manutenzione ed Evoluzione del Software
      Testing Software performance and Scalability
    • * TVV - Testing, Verifica e Validazione
      Averaging, Single and multi-parameter histograms, PCA, Markov models Monitors, Capacity planning and benchmarking, Queueing theory applied to optimizing and tuning software performance and scalability
    • MSQ - Misure del Software e Qualita'
      Selection of techniques and metrics
    • * AR - Analisi dei Requisiti
      Types of workloads and workload selection, Workload characterization techniques
    • * PSS - Processi di Sviluppo del Software
      Goals of Software Performance Engineering

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Computer Science
Riepilogo dell'insegnamento: Statistics for Spatio-Temporal Data
Nome Statistics for Spatio-Temporal Data CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare SECS-S/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area altro - Crediti NON dell'INFORMATICA né della MATEMATICA

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Elective courses - Mathematics and Statistics
Sistema di certificazione della qualità dei contenuti delle lauree in Informatica
Credits
Valid XHTML 1.0 Strict Valid CSS