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);

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
TMI - Teorie e Modelli per l'Interazione
Interaction styles and paradigms
TMI - Teorie e Modelli per l'Interazione
Introduction to usability engineering
TMI - Teorie e Modelli per l'Interazione
Elements of cognitive psychology and the psychology of the user: (perception, memory, attention, decision making, problem solving and language, model human processor, distributed cognition) and their implications for design (metaphor, affordance, slip, mistake).
TMI - Teorie e Modelli per l'Interazione
Introduction to user- and task-centred design. Concept of utility, usability, and user-experience.
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
User evaluations: formative, summative, and usability evaluation approaches.
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Elements of user interface (icons, menus, navigation, screen, colour, and typograghy). Practice of interface design

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
Security and Privacy, Availability, Autentication, Authorization, Accounting, Access Control, General Introduction (secret keys, public keys, digital signatures)
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
Hash functions (SHA-1, MD-5) Digital Watermarking (DVD)
• H - Computazione su rete
* 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)
* SR - Sicurezza delle Reti
Passive attacks: network scanning (TCP/SYN,UDP)
* SR - Sicurezza delle Reti
Active attacks: IP spoofing, hijacking, cookie, cross-site scripting, Denial of service: ping of death, smurf, land, DDoS e rootkits.

Sillabo dell'insegnamento

• I - Ingegneria del software
* 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
Requirements elicitation -- gathering information; interviews, questionnaires and observation; knowledge acquisition; observational methods, scenaria and use cases
* AR - Analisi dei Requisiti
Conceptual modeling and specification -- review of different notations for requirements modeling and specification; requirements specification documents; requirements specification standards
* 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
Early requirements -- capturing intentions for requirements analysis, goal-oriented representations of requirements;
* AR - Analisi dei Requisiti
Analysis -- validation, verification, simulation, exploration and inspection of requirements

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
software maintenance and evolution, code analysis, testing levels and test adequacy, white box and black box testing
* TVV - Testing, Verifica e Validazione
acceptance test and Fitnesse, unit test and JUnit, structural test (path and data flow)
* TVV - Testing, Verifica e Validazione
mutation test, automated path generation and path testing, regression test
* TVV - Testing, Verifica e Validazione
program analysis and understanding, acceptance test creation and execution
* TVV - Testing, Verifica e Validazione
unit test creation and execution; coverage, path and mutation test
* TVV - Testing, Verifica e Validazione
regression test

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Programming languages and their computational power: Lambda calculus, "for" and "while" languages.
MAT/01 - Logica Matematica
Enumeration of programs, Universal programs
MAT/01 - Logica Matematica
Logical characterization of recursive functions: primitive and general recursion.
MAT/01 - Logica Matematica
Problem classes: decidable, undecidable, semi-decidable; Church's Thesis
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
m-reductions

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Introduction and Preliminaries; Computational Tasks; Uniform Models (Turing machines, Time and space complexity, Oracle machines]; Complexity Classes.
COM - Complessita'
P, NP and NP-Completeness; The search version - finding versus checking; The decision version - proving versus verifying; Polynomial-time Reductions; NP-Completeness.
COM - Complessita'
Space Complexity: Time versus Space, Logarithmic Space, PSPACE and Games.
COM - Complessita'
Randomness and Counting: Probabilistic Polynomial-Time, Two-sided error and One-sided error.
COM - Complessita'
The Bright Side of Hardness: One-Way Functions, Pseudorandom Generators, Computational Indistinguishability.
COM - Complessita'
Probabilistic Proof Systems: Interactive Proof Systems, The Power of Interactive Proofs, Zero-Knowledge Proof Systems.

Sillabo dell'insegnamento

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

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
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
MAT/01 - Logica Matematica
The logic of classes: Syntax and semantics, TBox, ABox, Exercises and Applications
MAT/01 - Logica Matematica
First Order Logic: Syntax and semantics, Reasoning, Exercises, Querying DB
MAT/01 - Logica Matematica
Modal Logic