| Didattica
| (Italian only)
|
|
AVVISI PER
TUTTI
I CORSI:
- ESAMI DEL 30 MARZO 2012
- Risultati di [Java]
- Risultati di [UML]
- Risultati di [Sicurezza]
- Visione compiti e orali Giovedì 12/4 ore 16.30
- In considerazione
della sovrapposizione con l'appello di Basi di Dati, le eventuali prove
valide di Linguaggi di chi si è regolarmente iscritto e ha partecipato
all'appello di Basi di Dati saranno in via eccezionale conservate fino
a Giugno
- ESAMI DEL 24 FEBBRAIO 2012
- Risultati di [Java]
- Risultati di [Sicurezza]
- Verbalizzazioni e visione compiti Mercoledì 29 ore 11 presso lo studio del docente
- ESAMI DEL 27 GENNAIO 2012
- Risultati di [Java]
- Risultati di [UML ecc.]
- Risultati di [Sicurezza]
- visione compiti, verbalizzazioni, orali giovedì 2 febbraio alle 9
- ESAME DEL 20 SETTEMBRE
-
Una volta per tutte: come sta scritto sui lucidi, le prove scritte
sufficienti
valgono per tutto l'A.A. in corso, quindi per favore smettete di farmi
sempre
la stessa domanda.
- ESAME DEL 26 LUGLIO
- ESAME DEL 20 GIUGNO
- Risultati di Linguaggi: [Java][UML]. Possibli soluzioni UML [1,2]
- Risultati di Sicurezza [qui]
- ESAME DEL 25 MARZO 2011
- Risultati
di Linguaggi [qui]
- Risultati
di Sicurezza [qui]
- ESAME DEL 24 FEBBRAIO
2011
- Risultati di Linguaggi [qui]
- Risultati
di Sicurezza [qui]
- ESAME
DEL 27 GENNAIO 2011
- Risultati di
Linguaggi [qui]
Svolgimento
Slides
- Introduzione
[1]
- Paradigma
imperativo [2] [3] [4] [Es1] [Es2]
- Analisi
e progettazione O.O.; UML [5,5b,5c,5d,5e,5f,5g,5h,5i]
[6a,6b,6c] [7,7b,soluzioni]
(solo
diagrammi degli use case, classi, oggetti, sequence e discussioni
relative)
- Java [8,8b] [9,9b] [10] [11] [12] [13] [14] [15] [16] [17]
- Ultime
sistematizzazioni sui sistemi di tipi [18] e sul
polimorfismo [19,20]
Programma dettagliato
Avvisi
- L'attuale
docente di Ingegneria del Software è il Dr.
Di Martino
Svolgimento
Obbiettivi
- Il corso di Ingegneria del Software presenta i
metodi, le tecniche e
gli strumenti fondamentali di documentazione della specifica, analisi
e progetto di sistemi software complessi da un punto di vista
architetturale, con enfasi speciale sulla parte di analisi/specifica
dei requisiti e progettazione a oggetti usando UML. Analizziamo in
particolare le tecnologie di costruzione di documenti digitali di
supporto alla progettazione del software.
Testi di riferimento
- Grady Booch, James Rumbaugh, Ivar Jacobson.
The Unified Modeling Language User Guide,
Addison-Wesley, 1998.
- Roger Pressman.
Principi di ingegneria del software (terza ed.),
McGraw Hill, 2000
- Ian Sommerville.
Software Engineering (sesta ed.), Addison Wesley,
2001
CASE and Project Management Tools
Lucidi
- Introduzione
(.ppt)
- L'industria
del software. Panoramica (.pdf)
- I
modelli di processo (.ppt)
- Il
RUP (.pdf)
- Costi
e metriche (.ppt)
- Ingegneria
dei requisiti (.ppt) e strutturazione
dei casi d'uso (.html)
- Ingegneria
del software orientata agli oggetti (.pdf) e slides
correttive (.pdf)
- Dispense
su macchine a stati finite
- DFD
e confronto con automi (.ppt) - Articolo
su DFD e FDFD
- Testing
(.pdf)
- OCL:
Object Constraint Language (.pdf)
Altro materiale
- Metriche
per Applicazioni Web (.ppt)
- Formalizzazione dei requisiti tramite linguaggio
naturale controllato
- Alcuni
standards per Service Oriented Computing
- Un
approccio logico alla descrizione semantica di servizi
Casi di studio
- Coffee
maker (.pdf)
- Stazione
meteorologica (.pdf)
Progetti d'esame
Avvisi
Svolgimento
Obbiettivi
- Apprendimento di logiche non standard (in
particolare modali e
terminologiche - o descrittive) rilevanti per la
rappresentazione della conoscenza e relative aree applicative
(semantic web, program/protocol analysis, knowledge
management,
e-services, ingegneria del software avanzata ecc.)
Prerequisiti
Testi di riferimento
Materiale didattico
- Introduzione
(.ppt)
- Note
su complessità ed espressività di alcuni
frammenti della logica del primo ordine (.pdf)
- Sul
teorema di Loewenheim-Skolem (.html)
- Note
sulla logica modale - Cap.1-5 (.pdf)
- Materiale su logiche descrittive
- Esercizi
- Testo
di esame
Links
Svolgimento
Obbiettivi
- Nozioni di base relative alla sicurezza dei dati e
dei
sistemi. Servizi di sicurezza nei sistemi operativi. Progetto dei
sistemi di sicurezza. Controllo dell'accesso: politiche e modelli
mandatori e discrezionali, controlli di flusso e di
inferenza. Auditing e controllo delle intrusioni.
Vulnerabilità dei
protocolli di rete. Cenni di
crittografia. Privatezza.
Programma e Materiale
didattico
Links
|
|