Sillabo dell'insegnamento

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

Insegnamenti "a scelta" che possono essere selezionati

1. Computability
2. Computer-supported co-operative working
3. Concurrency
4. Machine learning
5. Network security
6. Organizational information systems
7. Real time operating systems and middleware
8. Requirement engineering
9. Security engineering
10. Signals and systems
11. Web architectures
12. Security testing

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Software verification
L - Logica
Verification of RTL circuits
L - Logica
SAT-based Model Checking
L - Logica
PSL/sugar
L - Logica
Model checking with timed and hybrid systems
L - Logica
Symbolic Model Checking
L - Logica
Computational Tree Logic Model Checking
L - Logica
Model checking
L - Logica
Linear Temporal Logic Model Checking
L - Logica
Ordered Binary Decision Diagrams
L - Logica
Linear Temporal Logic and Computation Tree Logic
L - Logica
Explicit-State Model Checking

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Modal Logic
MAT/01 - Logica Matematica
First Order Logic: Syntax and semantics, Reasoning, Exercises, Querying DB
MAT/01 - Logica Matematica
The logic of classes: Syntax and semantics, TBox, ABox, Exercises and Applications
MAT/01 - Logica Matematica
Introduction: Data and Knowledge Representation, Languages for Representation
MAT/01 - Logica Matematica
Modeling the World
MAT/01 - Logica Matematica
Propositional Logic: Syntax and semantics, Reasoning, Exercises

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
RIP, RIP-2 e i protocolli distance-vector; OSPF e i protocolli link state
* PT - Protocolli
BGP e i protocolli policy-based; Instradamento globale e topologia di Internet
GRC - Gestione di Reti di Calcolatori
Carico di una rete e stabilità; Ammissione delle chiamate;
GRC - Gestione di Reti di Calcolatori
Controllo reattivo della congestione e TCP; Metodi per stabilizzare TCP: mito e realtà; Multicast
* PT - Protocolli
Servizi voce/video su reti a pacchetto; Il trasporto: RTP/RTCP; Lo standard H.323
* PT - Protocolli
Lo standard SIP; Skype e gli approcci P2P; Servizi di IP-TV

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

Sillabo dell'insegnamento

• I - Ingegneria del software
* ASW - Architetture Software
Introduction to the agent paradigm and multi-agent systems
* ASW - Architetture Software
Multi-agent applications and problems
* ASW - Architetture Software
Multi-agent interaction and cooperation (types of interaction, forms of cooperation, methods of cooperation, organization and cooperation)
* ASW - Architetture Software
Agent and multi-agent communication (speech acts, conversation, and KQML);
* ASW - Architetture Software
Collaboration and distribution of tasks (Models of tasks allocation - Centralized, Decentralized and Emergent)
* ASW - Architetture Software
The BDI Architecture; AUML ; FIPA; Agent-Oriented Methodologies (Gaia, Tropos, Prometheous, MAS-CommonKADS, Comparing AO methodologies);

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Problem classes: decidable, undecidable, semi-decidable; Church's Thesis
MAT/01 - Logica Matematica
Logical characterization of recursive functions: primitive and general recursion.
MAT/01 - Logica Matematica
m-reductions
MAT/01 - Logica Matematica
Enumeration of programs, Universal programs
MAT/01 - Logica Matematica
Classical results: padding lemma, s-m-n theorem, Kleene's normal form, fixed point theorem, Rice's theorem, Rice-Shapiro theorem
MAT/01 - Logica Matematica
Programming languages and their computational power: Lambda calculus, "for" and "while" languages.

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialità e WWW
Mobility
* IMW - Ipertesti, Multimedialità e WWW
E-learning
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Groupware Evaluation
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Usability & Sociability
TMI - Teorie e Modelli per l'Interazione
Social Networking Platforms
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Groupware and design issues

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Petri Nets
L - Logica
Basics of domain theory
L - Logica
Modal and temporal logics
SLP - Semantica dei Linguaggi di Programmazione
Bisimulation semantics
SLP - Semantica dei Linguaggi di Programmazione
Operational semantics
SLP - Semantica dei Linguaggi di Programmazione
Calculus of Communicating Systems (CCS)

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Managing Inconsistent Data, Entity Identification, Dataspaces, Keyword Searching Data Exchange
BDA - Basi di Dati Avanzate
View Updates and Updates Through Views, Semistructured Data and XML, Description Logic, RDF, RDF in Relational
BDA - Basi di Dati Avanzate
Answering Queries Using Views, Schema Integration, Schema Mapping
BDA - Basi di Dati Avanzate
Introduction to Information Integration Systems, Information Integration System Components, Mappings
BDA - Basi di Dati Avanzate
ER and Relational Model, Dependencies and Constraints, OO Data Modeling, Object Relational Systems
BDA - Basi di Dati Avanzate
Datalog, Conjunctive Queries, Query Containment, Chase

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

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

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
BPEL basics
• H - Computazione su rete
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Deployment
PASR - Programmazione di Applicazioni e Servizi di Rete
Refresher on SOAP and Restful services
* ARTC - Architettura delle Reti di Calcolatori
Mashups
PASR - Programmazione di Applicazioni e Servizi di Rete
Process and Service Monitoring / Management
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Cloud Computing

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

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
Routing in non-stationary networks
* ARTC - Architettura delle Reti di Calcolatori
Sensor networks, Vehicular Networks.
* ARTC - Architettura delle Reti di Calcolatori
Ad-Hoc Networks and PAN Networks: Bluetooth, Zigbee.
* PT - Protocolli
802.11e and QoS support; 802.11n: high throughput; other extensions.
* PT - Protocolli
WLAN: 802.11 standard; 802.11b MAC/PHY; 802.11g, 802.11a.
* ARTC - Architettura delle Reti di Calcolatori
Introduction: Wireless Networks Characteristics; general requirements of MAC protocols; MAC protocols: Aloha, CSMA.

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

Sillabo dell'insegnamento

• H - Computazione su rete
* SR - Sicurezza delle Reti
Security
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Programming (& Reprogramming) Time synchronization & Localization
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Data Management
* PT - Protocolli
Medium Access Control
* PT - Protocolli
Routing
* ARTC - Architettura delle Reti di Calcolatori
Hardware & Communication architecture

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

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Context Logics: Basics, Properties - Examples.
L - Logica
The concept of "logical modeling". Classical Logic: Propositional logic, First-order logic (short overview).
L - Logica
Classical Logics Extended: Modal logics, Knowledge, Belief, propositional attitudes
• M - Rappresentazione della conoscenza
BC - Basi di Conoscenza
Using Context Logic: propositional attitudes, beliefs, classifications. Using Contextual Description Logics: C-OWL.
ARC - Acquisizione e Rappresentazione della Conoscenza
Description Logics: DL Basics, Properties.
BC - Basi di Conoscenza
Ontologies (OWL), RelBAC

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

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Statistical Learning Theory: PAC learning, consistency, VC dimension, generalization and models comparison. Applications to text categorization and bioinformatics.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Neural networks: perceptron, multilayer neural networks.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Clustering: k-means, hierarchical clustering.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Kernel Machines: kernels, reproducing kernel Hilbert spaces, representer theorem, support vector machines for classification, regression and ranking, kernel construction, kernels for structured data.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Bayesian decision theory, maximum likelihood and Bayesian parameter estimation.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Introduction to machine learning: designing a machine learning system, learning settings and tasks, decision trees, k-nearest-neighbour estimation.

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
Mining of streaming data
* ASC - Algoritmi su Strutture Combinatorie
Association rules, sequential patterns
AN - Algoritmi Numerici
Clustering and classification
V - Varie
Algorithms for data mining
• H - Computazione su rete
* PT - Protocolli
Streaming data
PASR - Programmazione di Applicazioni e Servizi di Rete
Mining of web data

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

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Hash functions (SHA-1, MD-5) Digital Watermarking (DVD)
TIC - Teoria dell'Informazione e Codici
One-Time-Pad, Stream Ciphers (RC4, GSM - A5/1) Block ciphers (DES, RC5, AES), Asymmetric Algorithms (Diffie-Hellman, RSA)
TIC - Teoria dell'Informazione e Codici
Security and Privacy, Availability, Autentication, Authorization, Accounting, Access Control, General Introduction (secret keys, public keys, digital signatures)
• H - Computazione su rete
* SR - Sicurezza delle Reti
Active attacks: IP spoofing, hijacking, cookie, cross-site scripting, Denial of service: ping of death, smurf, land, DDoS e rootkits.
* SR - Sicurezza delle Reti
Passive attacks: network scanning (TCP/SYN,UDP)
* SR - Sicurezza delle Reti
Authentication (NS-PK/AS, Kerberos, GSM), Key-agreement (Diffie-Hellman, Internet Key Exchange), Secure Web Connections (TLS/SSL), Secure Mobile Connections (WTLS), Electronic Payments (SET - Visa Mastercard, Cybercash), Secure Protocols for Mobility(Secure Mobile IP, Dynamic DNS)

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• G - Basi di dati
BDA - Basi di Dati Avanzate
Data integration technologies
BDA - Basi di Dati Avanzate
Data warehouse
BDA - Basi di Dati Avanzate
Service-oriented architectures
• I - Ingegneria del software
* ASW - Architetture Software
Technologies and architectures for organizational information systems
V - Varie
Modelling and analysis approaches for business processes
V - Varie
Modelling approaches for organizations, standards and reference architectures

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• F - Sistemi operativi
PS - Programmazione di Sistema
Real-time APIs (introduction to POSIX, clocks and timers, managing the concurrency, ...)
PS - Programmazione di Sistema
Introduction to cross-compilers; how to create a boot image for an embedded device
* GSP - Gestione e Sincronizzazione dei Processi
Latency in real-time kernels
* GSP - Gestione e Sincronizzazione dei Processi
System structures for reducing the latency (real-time executives, preemptable kernels, threaded IRQs, microkernels, ...)
MA - Modelli e Architetture di sistemi operativi
Introduction to real-time systems
* GSP - Gestione e Sincronizzazione dei Processi
Real-time sceduling (fixed and dynamic priorities, RM, DM, schedulability analysis, shared resources, ...)

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

1. Corsi caratterizzanti

Sillabo dell'insegnamento

• I - Ingegneria del software
* AR - Analisi dei Requisiti
Requirements elicitation -- gathering information; interviews, questionnaires and observation; knowledge acquisition; observational methods, scenaria and use cases
* AR - Analisi dei Requisiti
Introduction -- what is requirements engineering? Why is it important? brief history; Requirements acquisition: problem identification, scoping the problem, defining the environment, degree of automation, feasibility study
* AR - Analisi dei Requisiti
Analysis -- validation, verification, simulation, exploration and inspection of requirements
* AR - Analisi dei Requisiti
Early requirements -- capturing intentions for requirements analysis, goal-oriented representations of requirements
* AR - Analisi dei Requisiti
Capturing rationale -- traceability, capturing design rationale, different types of non-functional requirements, including reliability, portability and performance; qualitative modelling and simulation techniques for representing and reasoning with non-functional requirements
* AR - Analisi dei Requisiti
Conceptual modeling and specification -- review of different notations for requirements modeling and specification; requirements specification documents; requirements specification standards

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

1. Corsi caratterizzanti

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

Sillabo dell'insegnamento

• F - Sistemi operativi
V - Varie
Introduction/DAC, MAC/Multilevel, Integrity, Biba, Clark Wilson, Chinese Wall, RBAC, UNIX, Windows 2K
GCA - Gestione e Controllo degli Accessi
Authentication and Access Control
* GSP - Gestione e Sincronizzazione dei Processi
Run-time monitors, in-line monitors, statistic analysis
• I - Ingegneria del software
EPG - Aspetti Etici, Professionali e Giuridici
Validity of digital certificates,Security Policies and Law 675 on privacy and security
* AR - Analisi dei Requisiti
Security Requirements/UML Sec, Secure Tropos, Risk assessment, Privacy Policies
EPG - Aspetti Etici, Professionali e Giuridici
Computer Security, ISO Sec. Services and Mechanisms

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

1. Corsi caratterizzanti

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. Corsi caratterizzanti

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. Corsi caratterizzanti

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
process algebras (e.g. pi-calculus)
V - Varie
deterministic vs. probabilistic/stochastic models
• M - Rappresentazione della conoscenza
RA - Ragionamento Automatico
Gillespie's algorithms (Direct, First Reaction, Next Reaction Method, tau-leap)
AIA - Applicazioni della Intelligenza Artificiale
Using Gillespie's algorithms for running stochastic process algebras

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

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
Basic elements of transactions.
PASR - Programmazione di Applicazioni e Servizi di Rete
Application servers. Obiect-relational mapping. Overview of other emerging technologies.
PASR - Programmazione di Applicazioni e Servizi di Rete
Introduction to the XML world (including XSL).
PASR - Programmazione di Applicazioni e Servizi di Rete
Java technologies for the dynamic web: Servlets, Java Server Pages, JDBC, JNDI, Java RMI, Enterprise Java Beans 2.1 and 3.0.
PASR - Programmazione di Applicazioni e Servizi di Rete
DHTML: the ingredients (HTML, Javascript, DOM).
PASR - Programmazione di Applicazioni e Servizi di Rete
Web-based distributed systems architectures: problems and solutions. The HTTP protocol.

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

1. Corsi caratterizzanti