Cosa significa che il SW è non lineare? Piccoli cambiamenti nel codice portano a grandi cambiamenti di comportamento

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Cosa significa che il SW è non lineare? Piccoli cambiamenti nel codice portano a grandi cambiamenti di comportamento"

Transcript

1 Cosa significa che il SW è non lineare? Piccoli cambiamenti nel codice portano a grandi cambiamenti di comportamento Cosa s'intende per Information Hiding? Impedire l'accesso a dettagli implementativi Il test di unità Avviene di solito nella fase di codifica Nelle reti di Petri lo stato del sistema è rappresentato Dalla marcatura della rete I sistemi in tempo reale sono caratterizzati da Vincoli sui tempi di risposta Un guasto è Un comportamento scorretto rispetto alle specifiche I diagrammi delle classi si possono usare Nelle fasi di analisi, progetto, codifica I sistemi composti da processi interagenti si dicono Concorrenti Una versione parziale ma funzionante di un'applicazione è Un prototipo Un sistema formale in cui tutte le formule vere sono dimostrabili è Completo Una anomalia è Un aspetto del codice che provoca dei guasti Un diagramma di stato rappresenta Un automa a stati finiti Una funzione di verità è Una funzione che definisce la semantica di un connettivo Nel modello OO, un metodo è l'implementazione di un' operazione Un prototipo esplorativo Serve a chiarire i requisiti Un modello di processo è Una generalizzazione di una famiglia di processi di sviluppo I requisiti funzionali Descrivono cosa deve fare il sistema Un sistema formale è corretto se Tutte le formule dimostrabili sono vere

2 Le espressioni regolari sono un formalismo di specifica dei dati di tipo sintattico Negli Automi a Stati finiti le uscite Dipendono dallo stato e dall'ingresso Lo studio di fattibilità richiede La valutazione di tecniche di realizzazione alternative I modelli trasformazionali Richiedono specifiche formali I sistemi concorrenti Sono composti da processi interagenti Il modello Entità Relazioni è un formalismo di specifica dei dati di tipo semantico La modularità del sistema influisce sulla gestione del processo di sviluppo? Si, perché facilità la ripartizione del lavoro Il modello a cascata è Un processo di sviluppo del SW con fasi sequenziali separate I modelli evolutivi sviluppano il sistema in passi incrementali Le applicazioni che mantengono grandi quantità di informazioni si dicono Orientate ai dati Le applicazioni che reagiscono a stimoli esterni si dicono Orientate al controllo L'analisi dei requisiti è La definizione delle proprietà e dei comportamenti richiesti I processi di sviluppo che permettono di costruire l'applicazione in passi incrementali Si dicono evolutivi I diagrammi delle classi descrivono La struttura statica Quale di questi concetti non entra nel formalismo Statecharts? Marcatura (si scartano Eventi, Transizioni) I linguaggi formali Hanno una semantica di tipo matematico Un sistema che soddisfa i requisiti funzionali è Corretto Per verificare il corretto interfacciamento dei moduli si esegue Il testi di integrazione

3 Quale di queste stringhe viene riconosciuta dall'er '-?[0-9]+'? -321 (si scartano 123+, +09) Un sistema che funziona in modo accettabile in situazioni non previste dai requisiti è Robusto Nelle reti di Petri, una transizione è viva se In ogni marcatura raggiungibile esiste una sequenza di scatti che la abilita Le classi template del C++ permettono di realizzare Le classi generiche Il debugging è La ricerca e rimozione dei difetti che causano i malfunzionamenti rilevati Un oggetto è Un'astrazione di un'entità individuale, caratterizzata da identità, attributi e operazioni La semantica di un linguaggio associa un significato alle formule del linguaggio Nelle reti di Petri, la relazione di flusso Associa posti a transizioni e transizioni a posti Un difetto del codice sorgente è Un' anomalia Nelle reti di Petri lo stato del sistema dipende Da tutti i place Se, in una rete di Petri, una transizione u è abilitata solo dopo lo scatto di una transizione t Le due transizioni sono in sequenza In un sistema formale corretto Tutte le formule dimostrabili sono vere In fase di analisi dei requisiti si possono usare I diagrammi delle classi e dei casi d'uso Se i dati di test si scelgono in base ai requisiti Si fa un test funzionale Il significato delle formule è dato Dalla semantica del linguaggio Uno statechart rappresenta La risposta agli eventi Un teorema è Una formula deducibile usando solo gli assiomi Un sistema operativo è un'applicazione Orientata al controllo

4 Gli Automi a Stati Finiti sono un formalismo Orientato al controllo Un'entità caratterizzata da identità, attributi e operazioni è Un oggetto Il corretto interfacciamento fra i moduli si verifica attraverso Il test di integrazione Se un'operazione è applicabile a oggetti di tipo diverso si ha Polimorfismo Negli Statechart, le computazioni non interrompibili sono modellate da Azioni Una anomalia è Un difetto del codice sorgente L'Information Hiding serve a nascondere i dettagli implementativi Agli altri moduli Se, in una rete di Petri, lo scatto di una transizione disabilità un'altra transizione Le due transizioni sono in conflitto Nel test strutturale i dati di test si scelgono In base al codice sorgente Polimorfismo significa Avere più implementazioni di una stessa interfaccia Nelle reti di Petri l'abilitazione di una transizione dipende dalla marcatura dei place in ingresso Il significato delle formule è dato Dalla semantica del linguaggio Le interazioni fra oggetti si possono descrivere Con i diagrammi di sequenza Quali applicazioni sono orientate al controllo? Sistemi operativi (si scartano Compilatori, Basi di dati) Il piano di test di sistema viene prodotto Nella fase di analisi e specifica Una rete di Petri si dice limitata se La marcatura di ciascun place è limitata Un difetto del codice sorgente è Un'anomalia La risposta i un sistema agli eventi esterni si specifica con Una macchina a stati

5 Una formula deducibile usando solo gli assiomi è Un teorema Il test d'integrazione verifica l'interfacciamento fra i moduli In un sistema formale completo Tutte le formule vere sono dimostrabili Negli Statechart i segnali sono Un tipo di eventi Nelle reti di Petri la marcatura è Una funzione che associa posti a numeri naturali (P ->N) Nelle architetture Corba, un Proxy viene usato Sul lato cliente Un processo di sviluppo è Un insieme di attività pianificate L'ER [_A-Za-z][_A-Za-z0-9]*=(' ' '\t')*[_a-za-z0-9]+ riconosce Backgnd= darkblue3 (si scartano Backgnd = darkblue3, Backgnd = dark blue 3) Quali di queste applicazioni sono orientate al controllo? Interfacce grafiche (si scartano Cliente di posta elettronica, Risolutori di equazioni) Il valore di verità di una tautologia non dipende Dalla funzione di valutazione Il diagramma delle classi descrive un sistema dal punto di vista Statico Negli statechart un cambiamento è Un evento Un modulo si dice coeso quando Offre un insieme omogeneo di servizi Il test di stress è Un test di sistema In C++ le operazioni polimorfiche sono Virtuali Il test funzionale è basato Sulle specifiche Un compilatore IDL Produce codice sorgente Una formula ben formata è Sintatticamente corretta

6 Si dice che il SW è malleabile perchè I programmi sono facilmente modificabili Definizione e specifica dei requisiti Hanno due diversi livelli di dettaglio Il CVS è Uno strumento per la gestione delle versioni del codice sorgente Nel modello Cleanroom Gli sviluppatori verificano il codice staticamente Se p è un place, p è L'insieme delle transizioni di ingresso di p L'implementazione di un oggetto CORBA si chiama Servant Il piano di test di sistema Definisce i test di convalida Una specifica si dice formale se è Rigorosa Un'espressione regolare Descrive un insieme di sequenze di simboli Una classe si dice completa se è Interamente implementata Con l'eredità multipla Una classe può derivare direttamente da più basi Il controllo di qualità avviene nel corso di tutto il processo di sviluppo L'insieme delle formule di un linguaggio è definito Dalla sintassi In UML l'architettura fisica si rappresenta Con i diagrammi di deployment Quale di queste stringhe viene riconosciuta dall'er '[1-9].[0-9]+[eE](+-)?[0-9+]'? E-27 (si scartano e-27, ) Negli Statechart un'azione è Un comportamento non interrompibile Il CVS è uno strumento per la gestione delle configurazioni Gli strumenti CASE servono a Definire i modelli

7 I design pattern sono Degli schemi di soluzioni per problemi ricorrenti Il beta test è Un collaudo fatto da utenti selezionati Nel modello di sviluppo Cleanroom Si fanno analisi statiche e test funzionali Nelle reti di Petri si può avere un conflitto se Due transizioni hanno dei place di ingresso in comune Le grammatiche non contestuali sono formalismi Orientati ai dati Un modulo fisico è costituito da Uno o più file Un'operazione protetta Viene usata solo nella sua classe e classi derivate Il criterio di copertura delle condizioni si usa Nel test strutturale Quale di queste stringhe viene riconosciuta dall'er '-?[0-9]+'? 123 (si scartano -321+, 0-9) Quale di queste ER riconosce gli identificatori del C++? [_A-Za-z][_A-Za-z0-9]* (si scartano [_A-Za-z][_A-Za-z0-9]+, [_A-Za-z]([_A-Za-z][0-9])* ) Nascondere l'implementazione di un modulo serve a ridurre le dipendenze fra i moduli Un sistema di dice robusto se Si comporta accettabilmente in condizioni non previste

8

Concetti di base di ingegneria del software

Concetti di base di ingegneria del software Concetti di base di ingegneria del software [Dalle dispense del corso «Ingegneria del software» del prof. A. Furfaro (UNICAL)] Principali qualità del software Correttezza Affidabilità Robustezza Efficienza

Dettagli

Modellazione di sistema

Modellazione di sistema Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Modellazione di sistema E. TINELLI Contenuti Approcci di analisi Linguaggi di specifica Modelli di

Dettagli

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi Università di Bergamo Facoltà di Ingegneria Corso di Laurea in Ingegneria Informatica INGEGNERIA DEL SOFTWARE Prof. Paolo Salvaneschi 1 Obiettivi Scopi del corso: - Fornire gli elementi di base della disciplina,

Dettagli

Considera tutti i requisiti funzionali (use cases) NON deve necessariamente modellare i requisiti non funzionali

Considera tutti i requisiti funzionali (use cases) NON deve necessariamente modellare i requisiti non funzionali Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Progettazione OO E. TINELLI Punto di Partenza Il modello di analisi E una rappresentazione minima del

Dettagli

UML e (R)UP (an overview)

UML e (R)UP (an overview) Lo sviluppo di sistemi OO UML e (R)UP (an overview) http://www.rational.com http://www.omg.org 1 Riassumento UML E un insieme di notazioni diagrammatiche che, utilizzate congiuntamente, consentono di descrivere/modellare

Dettagli

AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Unified Process. Prof. Agostino Poggi

AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Unified Process. Prof. Agostino Poggi AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Unified Process Prof. Agostino Poggi Unified Process Unified Software Development Process (USDP), comunemente chiamato

Dettagli

Introduzione ad UML. Perché modelliamo

Introduzione ad UML. Perché modelliamo Introduzione ad UML Pag. 1 Perché modelliamo Un modello è una semplificazione della realtà I modelli ci aiutano a visualizzare un sistema come è o come vorremmo che fosse ci permettono di specificare la

Dettagli

PIANO DI LAVORO (a.s. 2014/2015) Prof.ssa Andrea Luppichini Prof. Marco Fiorentini DISCIPLINA Informatica

PIANO DI LAVORO (a.s. 2014/2015) Prof.ssa Andrea Luppichini Prof. Marco Fiorentini DISCIPLINA Informatica lllo Istituto Tecnico Commerciale Statale e per Geometri E. Fermi Pontedera (Pi) Via Firenze, 51 - Tel. 0587/213400 - Fax 0587/52742 http://www.itcgfermi.it E-mail: mail@itcgfermi.it PIANO DI LAVORO (a.s.

Dettagli

Se un oggetto A aggrega oggetti B allora avrà informazioni su di loro

Se un oggetto A aggrega oggetti B allora avrà informazioni su di loro Concetto di responsabilità nella progettazione guidata dalle responsabilità (RRD) si pensa in termini di responsabilità del software. Le responsabilità vengono assegnate agli oggetti durante la progettazione.

Dettagli

Ingegneria del Software UML - Unified Modeling Language

Ingegneria del Software UML - Unified Modeling Language Ingegneria del Software UML - Unified Modeling Language Obiettivi. Presentare un approccio visuale alla progettazione. Illustrare i vantaggi dell utilizzo di diagrammi nella fase di progettazione. Rispondere

Dettagli

Il ciclo di vita del software

Il ciclo di vita del software Il ciclo di vita del software Il ciclo di vita del software Definisce un modello per il software, dalla sua concezione iniziale fino al suo sviluppo completo, al suo rilascio, alla sua successiva evoluzione,

Dettagli

Il ciclo di vita del software. La necessita` di un modello. La mancanza di un modello. La prima proposta di soluzione

Il ciclo di vita del software. La necessita` di un modello. La mancanza di un modello. La prima proposta di soluzione Il ciclo di vita del software Progettazione e implementazione è solo una fase, per quanto importante, della produzione industriale del software Altre fasi sono importanti. Ad esempio: h Analisi dei requisiti

Dettagli

Ingegneria del Software Progettazione

Ingegneria del Software Progettazione Ingegneria del Software Progettazione Obiettivi. Approfondire la fase di progettazione dettagliata che precede la fase di realizzazione e codifica. Definire il concetto di qualità del software. Presentare

Dettagli

Modellazione e progettazione con UML. Eduard Roccatello 3D GIS Specialist www.roccatello.it

Modellazione e progettazione con UML. Eduard Roccatello 3D GIS Specialist <eduard.roccatello@3dgis.it> www.roccatello.it Modellazione e progettazione con UML Eduard Roccatello 3D GIS Specialist www.roccatello.it Object Oriented Analysis and Design Consente di modellare un sistema attraverso l

Dettagli

DISCIPLINE CONCORRE NTI CONOSCENZE UDA DISCIPLINA DI RIFERIMENTO UDA

DISCIPLINE CONCORRE NTI CONOSCENZE UDA DISCIPLINA DI RIFERIMENTO UDA UDA ISTITUTO TECNICO INDUSTRIALE ITI "E. MEDI" PIANO DI STUDIO DELLA DISCIPLINA TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI PIANO DELLE UDA 3 /Inf. prof. COMPETENZE della UDA

Dettagli

Appunti per le lezioni di Ingegneria dei Sistemi Software bozza. Andrea Domenici

Appunti per le lezioni di Ingegneria dei Sistemi Software bozza. Andrea Domenici Appunti per le lezioni di Ingegneria dei Sistemi Software bozza Andrea Domenici A.A. 2008 2009 2 Indice 1 Introduzione 7 1.1 Il software è diverso........................ 9 1.2 Il software non è diverso.....................

Dettagli

Introduzione alla progettazione del software

Introduzione alla progettazione del software Laurea in Ingegneria Gestionale Progettazione del Software Anno Accademico 2003/04 G. De Giacomo & M.Scannapieco Dipartimento di Informatica e Sistemistica Università di Roma La Sapienza Introduzione alla

Dettagli

Relazione Pinakes3 Analisi modello di business (BOZZA) di Valeriano Sandrucci 08/09/07

Relazione Pinakes3 Analisi modello di business (BOZZA) di Valeriano Sandrucci 08/09/07 Relazione Pinakes3 Analisi modello di business (BOZZA) di Valeriano Sandrucci 08/09/07 1. Introduzione...3 1.2. Application vs Tool... 3 2. Componenti logiche di un modello... 6 3. Ontologie e Semantic

Dettagli

Processi (di sviluppo del) software. Fase di Analisi dei Requisiti. Esempi di Feature e Requisiti. Progettazione ed implementazione

Processi (di sviluppo del) software. Fase di Analisi dei Requisiti. Esempi di Feature e Requisiti. Progettazione ed implementazione Processi (di sviluppo del) software Fase di Analisi dei Requisiti Un processo software descrive le attività (o task) necessarie allo sviluppo di un prodotto software e come queste attività sono collegate

Dettagli

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Fondamenti di Informatica Linguaggi di Programmazione Michele Tomaiuolo Linguaggi macchina I

Dettagli

Indice generale. OOA Analisi Orientata agli Oggetti. Introduzione. Analisi

Indice generale. OOA Analisi Orientata agli Oggetti. Introduzione. Analisi Indice generale OOA Analisi Orientata agli Oggetti Introduzione Analisi Metodi d' analisi Analisi funzionale Analisi del flusso dei dati Analisi delle informazioni Analisi Orientata agli Oggetti (OOA)

Dettagli

Ciclo di vita del software

Ciclo di vita del software Ciclo di vita del software Da Wikipedia, l'enciclopedia libera. L'espressione ciclo di vita del software si riferisce al modo in cui una metodologia di sviluppo o un modello di processo scompongono l'attività

Dettagli

Progettazione ad oggetti

Progettazione ad oggetti Progettazione ad oggetti Gli elementi reali vengono modellati tramite degli oggetti Le reazioni esistenti nel modello reale vengono trasformate in relazioni tra gli oggetti Cos'è un oggetto? Entità dotata

Dettagli

2. Ciclo di Vita e Processi di Sviluppo

2. Ciclo di Vita e Processi di Sviluppo 2. Ciclo di Vita e Processi di Sviluppo come posso procedere nello sviluppo? Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 2. Ciclo di Vita e Processi di

Dettagli

ESEMPI DI TEMI D ESAME 1 TEMA 1... 2 2 TEMA 2... 3 3 TEMA 3... 4 4 TEMA 4... 5 5 TEMA 5... 6 6 TEMA 6... 7 7 TEMA 7... 8 8 TEMA 8... 9 9 TEMA 9...

ESEMPI DI TEMI D ESAME 1 TEMA 1... 2 2 TEMA 2... 3 3 TEMA 3... 4 4 TEMA 4... 5 5 TEMA 5... 6 6 TEMA 6... 7 7 TEMA 7... 8 8 TEMA 8... 9 9 TEMA 9... ESEMPI DI TEMI D ESAME 1 TEMA 1... 2 2 TEMA 2... 3 3 TEMA 3... 4 4 TEMA 4... 5 5 TEMA 5... 6 6 TEMA 6... 7 7 TEMA 7... 8 8 TEMA 8... 9 9 TEMA 9... 10 10 TEMA 10... 11 11 TEMA 11... 12 12 TEMA 12... 13

Dettagli

Object Oriented Programming

Object Oriented Programming OOP Object Oriented Programming Programmazione orientata agli oggetti La programmazione orientata agli oggetti (Object Oriented Programming) è un paradigma di programmazione Permette di raggruppare in

Dettagli

Statechart Diagrams. Ing. Orazio Tomarchio Orazio.Tomarchio@diit.unict.it

Statechart Diagrams. Ing. Orazio Tomarchio Orazio.Tomarchio@diit.unict.it Statechart Diagrams Ing. Orazio Tomarchio Orazio.Tomarchio@diit.unict.it Dipartimento di Ingegneria Informatica e delle Telecomunicazioni Università di Catania Agenda Cosa è uno Statechart Diagram Quando

Dettagli

UniRoma2 - Ingegneria del Software 1 1

UniRoma2 - Ingegneria del Software 1 1 Object Oriented Analysis - OOA La fase di OOA definisce, secondo un approccio ad oggetti, COSA un prodotto software deve fare (mentre la fase di OOD definisce, sempre secondo un approccio ad oggetti, COME

Dettagli

PROGRAMMAZIONE MODULARE. Periodo mensile. Ore previste

PROGRAMMAZIONE MODULARE. Periodo mensile. Ore previste PROGRAMMAZIONE MODULARE Indirizzo: INFORMATICA SIRIO Disciplina: INFORMATICA Classe: QUINTA Ore previste: 16 di cui 66 ore di teoria e 99 ore di laboratorio. N. modulo Titolo Modulo Titolo unità didattiche

Dettagli

Principi dell ingegneria del software Relazioni fra

Principi dell ingegneria del software Relazioni fra Sommario Principi dell ingegneria del software Leggere Cap. 3 Ghezzi et al. Principi dell ingegneria del software Relazioni fra Principi Metodi e tecniche Metodologie Strumenti Descrizione dei principi

Dettagli

UML. Una introduzione incompleta. UML: Unified Modeling Language

UML. Una introduzione incompleta. UML: Unified Modeling Language UML Una introduzione incompleta 1/23 UML: Unified Modeling Language Lo Unified Modeling Language (UML) è una collezione di notazioni grafiche che aiuta a progettare sistemi software, specialmente quelli

Dettagli

Dettaglio dei corsi in aula

Dettaglio dei corsi in aula L offerta formativa Dettaglio dei corsi in aula Software Engineering Object Oriented Analysis and Design: fondamenti e principi dell object orientation. Dall analisi alla progettazione. I Design Pattern.

Dettagli

Analisi dei Requisiti e Specifica

Analisi dei Requisiti e Specifica Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE Paolo Salvaneschi A3_2 V2.1 Analisi dei Requisiti e Specifica Tecniche e linguaggi Il contenuto del documento è liberamente utilizzabile

Dettagli

Analisi Modelli per la specifica dei requisiti

Analisi Modelli per la specifica dei requisiti Modelli per la specifica dei requisiti Modelli semantici dei dati Entità-Relazioni (E-R) Modelli orientati all elaborazione dati Diagrammi di Flusso dei Dati (Data-Flow Diagrams, DFD) Modelli orientati

Dettagli

Progettaz. e sviluppo Data Base

Progettaz. e sviluppo Data Base Progettaz. e sviluppo Data Base! Progettazione Basi Dati: Metodologie e modelli!modello Entita -Relazione Progettazione Base Dati Introduzione alla Progettazione: Il ciclo di vita di un Sist. Informativo

Dettagli

Il paradigma OO e le relative metodologie di progettazione. Programmazione orientata agli oggetti

Il paradigma OO e le relative metodologie di progettazione. Programmazione orientata agli oggetti Alessio Bechini - Corso di - Il paradigma OO e le relative metodologie di progettazione Metodologie OO Programmazione orientata agli oggetti La programmazione ad oggetti (OOP) è un paradigma di programmazione

Dettagli

Processo parte III. Modello Code and fix. Modello a cascata. Modello a cascata (waterfall) Leggere Sez. 7.4 Ghezzi et al.

Processo parte III. Modello Code and fix. Modello a cascata. Modello a cascata (waterfall) Leggere Sez. 7.4 Ghezzi et al. Modello Code and fix Processo parte III Leggere Sez. 7.4 Ghezzi et al. Modello iniziale Iterazione di due passi scrittura del codice correzione degli errori Problemi: dopo una serie di cambiamenti, la

Dettagli

Lezione 5: Progettazione di Software e Database. Ingegneria del Software. Il Software 19/11/2011. Dr. Luca Abeti

Lezione 5: Progettazione di Software e Database. Ingegneria del Software. Il Software 19/11/2011. Dr. Luca Abeti Lezione 5: Progettazione di Software e Database Dr. Luca Abeti Ingegneria del Software L ingegneria del software è la disciplina che studia i metodi e gli strumenti per lo sviluppo del software e la misura

Dettagli

Analisi e specifica dei requisiti

Analisi e specifica dei requisiti Capitolo 3 Analisi e specifica dei requisiti In questo capitolo presentiamo alcuni linguaggi e metodi usati nella fase di analisi e specifica dei requisiti. I requisiti descrivono ciò che l utente si aspetta

Dettagli

FONDAMENTI di INFORMATICA Prof. Lorenzo Mezzalira

FONDAMENTI di INFORMATICA Prof. Lorenzo Mezzalira FONDAMENTI di INFORMATICA Prof. Lorenzo Mezzalira Appunti del corso 1 Introduzione all informatica: algoritmi, linguaggi e programmi Indice 1. Introduzione 2. Risoluzione automatica di problemi - Algoritmi

Dettagli

Ministero dell istruzione, dell università e della ricerca. Liceo Tecnologico. Indirizzo Informatico, Grafico e Comunicazione

Ministero dell istruzione, dell università e della ricerca. Liceo Tecnologico. Indirizzo Informatico, Grafico e Comunicazione Ministero dell istruzione, dell università e della ricerca Liceo Tecnologico Indirizzo Informatico, Grafico e Comunicazione Percorso Informatico e Comunicazione Indicazioni nazionali per i Piani di Studio

Dettagli

Architettura del software: dai Casi d Uso al Modello

Architettura del software: dai Casi d Uso al Modello Architettura del software: dai Casi d Uso al Modello Lorenzo Barbieri Sono un Senior Trainer/Consultant in ObjectWay SpA (www.objectway.it), specializzato in architetture Microsoft.NET, Windows, SQL Server,

Dettagli

!"#$%&&'()#*%+%+!"#$"',,'()#*%+ -")%*&'&'+'$.)+-$$%&&) !"#$%&&'(%)'*+%",#-%"#.'%&'#/0)-+#12"+3,)4+56#7+#.')8'9

!#$%&&'()#*%+%+!#$',,'()#*%+ -)%*&'&'+'$.)+-$$%&&) !#$%&&'(%)'*+%,#-%#.'%&'#/0)-+#12+3,)4+56#7+#.')8'9 !"#$%&&'()#*%+%+!"#$"',,'()#*%+ -")%*&'&'+'$.)+-$$%&&)!"#$%&&'(%)'*+%",#-%"#.'%&'#/0)-+#12"+3,)4+56#7+#.')8'9 Slide 1 Paradigmi di Programmazione! Un linguaggio supporta uno stile di programmazione se

Dettagli

OBIETTIVI SPECIFICI DI APPRENDIMENTO

OBIETTIVI SPECIFICI DI APPRENDIMENTO Disciplina:... Anno scolastico: 20.../20... Classe/i :... Docente:... DI APPRENDIMENTO SEZIONE 1 Premesse matematiche Nozioni fondamentali sui sistemi di numerazione Sistemi di numerazione in base diversa

Dettagli

Sistemi Informativi DERIVAZIONE DEI REQUISITI FUNZIONALI. Obiettivi Specifica dei Requisiti Assembly Lines Esercizi

Sistemi Informativi DERIVAZIONE DEI REQUISITI FUNZIONALI. Obiettivi Specifica dei Requisiti Assembly Lines Esercizi Sistemi Informativi DERIVAZIONE DEI REQUISITI FUNZIONALI Obiettivi Specifica dei Requisiti Assembly Lines Esercizi Obiettivi Nelle lezioni precedenti abbiamo descritto come modellare i requisiti funzionali

Dettagli

Testo Esercizio Sommario Note relative alla modellazione UML. Note relative al testo dell esercizio.

Testo Esercizio Sommario Note relative alla modellazione UML. Note relative al testo dell esercizio. Testo Esercizio Si consideri un sistema per la gestione di un magazzino di un negozio scelto a piacere dal candidato Il sistema è in grado di gestire le seguenti operazioni: Arrivo di nuovi prodotti; Controllo

Dettagli

Rational Unified Process Introduzione

Rational Unified Process Introduzione Rational Unified Process Introduzione G.Raiss - A.Apolloni - 4 maggio 2001 1 Cosa è E un processo di sviluppo definito da Booch, Rumbaugh, Jacobson (autori dell Unified Modeling Language). Il RUP è un

Dettagli

Applicazione: xmleges-editor - Ambiente per redazione conversione XML documenti normativi

Applicazione: xmleges-editor - Ambiente per redazione conversione XML documenti normativi Riusabilità del software - Catalogo delle applicazioni Gestione Documentale Applicazione: xmleges-editor - Ambiente per redazione conversione XML documenti normativi Amministrazione: Consiglio Nazionale

Dettagli

diagramma funzionale sequenziale Sequential functional chart (SFC)

diagramma funzionale sequenziale Sequential functional chart (SFC) Introduzione Sequential functional chart (SFC) Linguaggio innovativo adatto per la scrittura di algoritmi per il controllo logico/sequenziale Nasce come risultato di una apposita commissione istituita

Dettagli

TECNOLOGIE INFORMATICHE DELLA COMUNICAZIONE ORE SETTIMANALI 2 TIPO DI PROVA PER GIUDIZIO SOSPESO PROVA DI LABORATORIO

TECNOLOGIE INFORMATICHE DELLA COMUNICAZIONE ORE SETTIMANALI 2 TIPO DI PROVA PER GIUDIZIO SOSPESO PROVA DI LABORATORIO CLASSE DISCIPLINA MODULO Conoscenze Abilità e competenze Argomento 1 Concetti di base Argomento 2 Sistema di elaborazione Significato dei termini informazione, elaborazione, comunicazione, interfaccia,

Dettagli

Ingegneria dei Requisiti

Ingegneria dei Requisiti Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Ingegneria dei Requisiti E. TINELLI Contenuti I requisiti del software Documento dei requisiti I processi

Dettagli

Generazione Automatica di Asserzioni da Modelli di Specifica

Generazione Automatica di Asserzioni da Modelli di Specifica UNIVERSITÀ DEGLI STUDI DI MILANO BICOCCA FACOLTÀ DI SCIENZE MATEMATICHE FISICHE E NATURALI Corso di Laurea Magistrale in Informatica Generazione Automatica di Asserzioni da Modelli di Specifica Relatore:

Dettagli

Progettazione del software

Progettazione del software Progettazione del software Riguarda tutte quelle attività che permettono di passare dalla raccolta ed elaborazione dei requisiti di un sistema software alla sua effettiva realizzazione Ponte tra la fase

Dettagli

Principi di analisi e progettazione

Principi di analisi e progettazione Principi di analisi e progettazione G.Raiss 4 maggio 2001 1 Analisi dei requisiti Analisi dei requisiti Ha come obiettivo la individuazione di quali sono le esigenze da soddisfare (requirements elicitation)

Dettagli

Introduzione all Ingegneria del Software

Introduzione all Ingegneria del Software Introduzione all Ingegneria del Software Alessandro Martinelli alessandro.martinelli@unipv.it 10 Dicembre 2013 Introduzione all Ingegneria del Software Ingegneria del Software Modelli di Sviluppo del Software

Dettagli

Cos è l Ingegneria del Software?

Cos è l Ingegneria del Software? Cos è l Ingegneria del Software? Corpus di metodologie e tecniche per la produzione di sistemi software. L ingegneria del software è la disciplina tecnologica e gestionale che riguarda la produzione sistematica

Dettagli

uomo Software (sistema operativo) hardware

uomo Software (sistema operativo) hardware uomo Software (sistema operativo) hardware 1 Sistema operativo Insieme di programmi che svolgono funzioni essenziali per l uso del sistema di elaborazione Questi programmi sono i primi ad essere eseguiti

Dettagli

RUP (Rational Unified Process)

RUP (Rational Unified Process) RUP (Rational Unified Process) Caratteristiche, Punti di forza, Limiti versione del tutorial: 3.3 (febbraio 2007) Pag. 1 Unified Process Booch, Rumbaugh, Jacobson UML (Unified Modeling Language) notazione

Dettagli

UML e la progettazione di e-learning

UML e la progettazione di e-learning UML e la progettazione di e-learning Perché UML? UML (Unified Modeling Language, letteralmente: Linguaggio Unificato di Modellazione) viene spesso confuso come una metodologia per analizzare e progettare

Dettagli

In legenda sono riportate le fasi R, P, C/T e I/SA come specificato nella norma ISO/IEC 12207.

In legenda sono riportate le fasi R, P, C/T e I/SA come specificato nella norma ISO/IEC 12207. Durante le attività di sviluppo del software applicativo è spesso utilizzato un ciclo di vita incrementale il cui schema di processo è sintetizzato nella figura seguente. In legenda sono riportate le fasi

Dettagli

12. FONDAMENTI DI INGEGNERIA DEL SOFTWARE

12. FONDAMENTI DI INGEGNERIA DEL SOFTWARE 12. FONDAMENTI DI INGEGNERIA DEL SOFTWARE PREMESSA La produzione del software non può essere affidata all improvvisazione: sapere scrivere algoritmi e programmi non garantisce di per se l avere un software

Dettagli

ITI M. FARADAY Programmazione modulare a.s. 2014-2015

ITI M. FARADAY Programmazione modulare a.s. 2014-2015 Indirizzo: INFORMATICA E TELECOMUNICAZIONI Disciplina: Informatica Docente:Maria Teresa Niro Classe: Quinta B Ore settimanali previste: 6 (3 ore Teoria - 3 ore Laboratorio) ITI M. FARADAY Programmazione

Dettagli

Il software: natura e qualità

Il software: natura e qualità Sommario Il software: natura e qualità Leggere Cap. 2 Ghezzi et al. Natura e peculiarità del software Classificazione delle qualità del software Qualità del prodotto e del processo Qualità interne ed esterne

Dettagli

Università degli studi dell Aquila. Sistemi informativi aziendali

Università degli studi dell Aquila. Sistemi informativi aziendali Università degli studi dell Aquila Sistemi informativi aziendali 6 C.F.U. 9 C.F.U. Ing. Gaetanino Paolone (gaetanino.paolone@univaq.it) Prof. Dr. Luciano Fratocchi (luciano.fratocchi@univaq.it) Contenuti

Dettagli

TECNICO SUPERIORE PER LE APPLICAZIONI INFORMATICHE

TECNICO SUPERIORE PER LE APPLICAZIONI INFORMATICHE ISTRUZIONE E FORMAZIONE TECNICA SUPERIORE SETTORE I.C.T. Information and Communication Technology TECNICO SUPERIORE PER LE APPLICAZIONI INFORMATICHE STANDARD MINIMI DELLE COMPETENZE TECNICO PROFESSIONALI

Dettagli

ANALISI E PROGETTAZIONE OBJECT ORIENTED. Lorenzo Saladini

ANALISI E PROGETTAZIONE OBJECT ORIENTED. Lorenzo Saladini ANALISI E PROGETTAZIONE OBJECT ORIENTED Lorenzo Saladini 1. Introduzione In questo capitolo vengono presentati alcuni degli elementi necessari al corretto sviluppo di sistemi informatici secondo una metodologia

Dettagli

SCHEDA DI PROGRAMMAZIONE DISCIPLINARE DA RIPORTARE SUL P.O.F. A.S. 2014-2015. Ripasso programmazione ad oggetti. Basi di dati: premesse introduttive

SCHEDA DI PROGRAMMAZIONE DISCIPLINARE DA RIPORTARE SUL P.O.F. A.S. 2014-2015. Ripasso programmazione ad oggetti. Basi di dati: premesse introduttive SCHEDA DI PROGRAMMAZIONE DISCIPLINARE DA RIPORTARE SUL P.O.F. A.S. 2014-2015 ASSE DISCIPLINA DOCENTE MATEMATICO INFORMATICA Cattani Barbara monoennio CLASSE: quinta CORSO D SEZIONE LICEO SCIENZE APPLICATE

Dettagli

Linguaggi e Paradigmi di Programmazione

Linguaggi e Paradigmi di Programmazione Linguaggi e Paradigmi di Programmazione Cos è un linguaggio Definizione 1 Un linguaggio è un insieme di parole e di metodi di combinazione delle parole usati e compresi da una comunità di persone. È una

Dettagli

Linguaggi di programmazione

Linguaggi di programmazione Linguaggi di programmazione Programmazione L attività con cui si predispone l elaboratore ad eseguire un particolare insieme di azioni su particolari dati, allo scopo di risolvere un problema Dati Input

Dettagli

PIANO DI STUDIO DELLA DISCIPLINA DISCIPLINA: Tecnologia e Progettazione di Sistemi Informatici e di Telecomunicazioni

PIANO DI STUDIO DELLA DISCIPLINA DISCIPLINA: Tecnologia e Progettazione di Sistemi Informatici e di Telecomunicazioni PIANO DI STUDIO DELLA DISCIPLINA DISCIPLINA: Tecnologia e Progettazione di Sistemi Informatici e di Telecomunicazioni PIANO DELLE QUARTO ANNO SETTORE INFORMATICA Secondo Biennio Anno 2013/2014 ABILITA

Dettagli

Principi di programmazione OO

Principi di programmazione OO Principi di programmazione OO Ing. Paolo Vaccari Giovedì 9 e 16 Marzo 2006 Corsi Speciali L.143/04 - SSIS TOSCANA 2005/2006 Principi di programmazione OO Prima lezione: Programmazione

Dettagli

PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO 147 6/001.0

PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO 147 6/001.0 PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO 147 6/001.0 PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO ELEMENTI FONDAMENTALI PER LO SVILUPPO DI SISTEMI INFORMATIVI ELABORAZIONE DI

Dettagli

Verifica e validazione della qualità del sw

Verifica e validazione della qualità del sw Verifica e validazione della qualità del sw Tecniche di Programmazione Lez. 07 Università di Firenze a.a. 2009/10, I semestre 1/40 contenuti Termini e definizioni Tecniche rispetto alle caratteristiche

Dettagli

CORSO DI FORMAZIONE PER: TECNICO DELLE ATTIVITA' DI PROGETTAZIONE, SVILUPPO E AGGIORNAMENTO DI SITI WEB

CORSO DI FORMAZIONE PER: TECNICO DELLE ATTIVITA' DI PROGETTAZIONE, SVILUPPO E AGGIORNAMENTO DI SITI WEB Avviso Pubblico PROV-BR 02/2013 PO FSE 2007/2013 ASSE II OCCUPABILITA' Formazione per Inserimento-Reinserimento Lavorativo Approvato con D.D. n.85 del 24/01/2014, pubblicata sul BURP n. 17 del 06/02/2014

Dettagli

Dispensa 3. 1.1 YACC: generalità

Dispensa 3. 1.1 YACC: generalità Dispensa 3 1.1 YACC: generalità Il tool Yacc (acronimo per Yet Another Compiler Compiler) è uno strumento software che a partire da una specifica grammaticale context free di un linguaggio scritta in un

Dettagli

1. FINALITA DELLA DISCIPLINA

1. FINALITA DELLA DISCIPLINA Ministero dell Istruzione dell Università e della Ricerca LICEO SCIENTIFICO STATALE Donato Bramante Via Trieste, 70-20013 MAGENTA (MI) - MIUR: MIPS25000Q Tel.: +39 02 97290563/4/5 Fax: 02 97220275 Sito:

Dettagli

Claudia Raibulet raibulet@disco.unimib.it

Claudia Raibulet raibulet@disco.unimib.it Classi e stati Claudia Raibulet raibulet@disco.unimib.it la classe Cane modella le proprietà comuni di un insieme di oggetti quali attributi ha un cane peso colore come si comporta abbaia morde quali comandi

Dettagli

Elementi di UML (7): Diagrammi dei componenti e di deployment

Elementi di UML (7): Diagrammi dei componenti e di deployment Elementi di UML (7): Diagrammi dei componenti e di deployment Università degli Studi di Bologna Facoltà di Scienze MM. FF. NN. Corso di Laurea in Scienze di Internet Anno Accademico 2004-2005 Laboratorio

Dettagli

Università degli studi Roma Tre Dipartimento di informatica ed automazione. Tesi di laurea

Università degli studi Roma Tre Dipartimento di informatica ed automazione. Tesi di laurea Università degli studi Roma Tre Dipartimento di informatica ed automazione Tesi di laurea Reingegnerizzazione ed estensione di uno strumento per la generazione di siti Web Relatore Prof. P.Atzeni Università

Dettagli

Reti sequenziali e strutturazione firmware

Reti sequenziali e strutturazione firmware Architettura degli Elaboratori, a.a. 25-6 Reti sequenziali e strutturazione firmware Alla parte di corso sulle reti sequenziali è apportata una sensibile semplificazione rispetto a quanto contenuto nel

Dettagli

DIPARTIMENTO DI MATEMATICA, FISICA e INFORMATICA

DIPARTIMENTO DI MATEMATICA, FISICA e INFORMATICA LICEO SCIENTIFICO LICEO SCIENTIFICO opzione SCIENZE APPLICATE LICEO SCIENTIFICO SEZIONE SPORTIVA LICEO CLASSICO FEDERICO QUERCIA Distretto n. 14 Via Gemma, 54 81025 MARCIANISE DIPARTIMENTO DI MATEMATICA,

Dettagli

Programmazione per Bioinformatica Il Calcolatore e la Programmazione. Dr Damiano Macedonio Università di Verona

Programmazione per Bioinformatica Il Calcolatore e la Programmazione. Dr Damiano Macedonio Università di Verona Programmazione per Bioinformatica Il Calcolatore e la Programmazione Dr Damiano Macedonio Università di Verona Architettura del calcolatore La prima decomposizione di un calcolatore è relativa a due macrocomponenti:

Dettagli

REFERENZIAZIONI 2001) NUP

REFERENZIAZIONI 2001) NUP Agenzia del Lavoro Provincia Autonoma di Trento PROFILO FORMATIVO Profilo professionale e percorso formativo DENOMINAZIONE FIGURA PROFESSIONALE - TECNICO INFORMATICO PROGRAMMATORE SOFTWARE E APPLICAZIONI

Dettagli

IL NUOVO INDIRIZZO ELETTRONICA ED ELETTROTECNICA

IL NUOVO INDIRIZZO ELETTRONICA ED ELETTROTECNICA IL NUOVO INDIRIZZO ELETTRONICA ED ELETTROTECNICA Itis Galilei di Roma - 9 novembre 2009 - SI ARTICOLA NELLE TRE AREE OPZIONALI DI APPROFONDIMENTO: ELETTRONICA ELETTROTECNICA AUTOMAZIONE VI CONFLUISCONO

Dettagli

Caso di Studio: Avant Dernier

Caso di Studio: Avant Dernier Caso di Studio: Avant Dernier Specifiche: Nel gioco si affrontano 4 giocatori, ciascuno individuato con un numero progressivo (da 1 a 4). Inizialmente, i giocatori ricevono 5 carte ciascuno, e una carta

Dettagli

CORSO DI INGEGNERIA DEL SOFTWARE. Prof.ssa Mongiello A. A 2013/2014

CORSO DI INGEGNERIA DEL SOFTWARE. Prof.ssa Mongiello A. A 2013/2014 POLITECNICO DI BARI CORSO DI INGEGNERIA DEL SOFTWARE Prof.ssa Marina Mongiello A. A 2013/2014 1 CORSO DI INGEGNERIA DEL SOFTWARE Prof.ssa Marina Mongiello Email: mongiello@poliba.it Telefono: 0805963524

Dettagli

Una panoramica su HL7

Una panoramica su HL7 HL7 è uno standard ANSI di integrazione molto importante per tutto il Sistema Informativo Sanitario in generale e per il sistema RIS/PACS in particolare. L'acronimo HL7 sta per Health Level Seven, ossia

Dettagli

Ciclo di vita del progetto

Ciclo di vita del progetto IT Project Management Lezione 2 Ciclo di vita del progetto Federica Spiga A.A. 2009-2010 1 Ciclo di vita del progetto Il ciclo di vita del progetto definisce le fasi che collegano l inizio e la fine del

Dettagli

Progetto di Informatica III. Introduzione al corso

Progetto di Informatica III. Introduzione al corso Progetto di Informatica III Introduzione al corso Patrizia Scandurra Università degli Studi di Bergamo a.a. 2008-09 Sommario Contatti Obiettivo Natura Argomenti Organizzazione Materiale didattico Modalità

Dettagli

Automazione Industriale 4- Ingegneria del Software

Automazione Industriale 4- Ingegneria del Software Automation Robotics and System CONTROL Università degli Studi di Modena e Reggio Emilia Automazione Industriale 4- Ingegneria del Software Cesare Fantuzzi (cesare.fantuzzi@unimore.it) Ingegneria Meccatronica

Dettagli

Architettura SW Definizione e Notazioni

Architettura SW Definizione e Notazioni Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Stili Architetturali E. TINELLI Architettura SW Definizione e Notazioni Definizione ANSI/IEEE Std Std1471-2000

Dettagli

FONDAMENTI di INFORMATICA L. Mezzalira

FONDAMENTI di INFORMATICA L. Mezzalira FONDAMENTI di INFORMATICA L. Mezzalira Possibili domande 1 --- Caratteristiche delle macchine tipiche dell informatica Componenti hardware del modello funzionale di sistema informatico Componenti software

Dettagli

ANALISI E PROGETTAZIONE OBJECT ORIENTED UNIFIED MODELLING LANGUAGE (UML)

ANALISI E PROGETTAZIONE OBJECT ORIENTED UNIFIED MODELLING LANGUAGE (UML) ANALISI E PROGETTAZIONE OBJECT ORIENTED UNIFIED MODELLING LANGUAGE (UML) a cura di Giacomo PISCITELLI Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari Questi appunti sono ricavati da una

Dettagli

Corso di Programmazione ad Oggetti

Corso di Programmazione ad Oggetti Corso di Programmazione ad Oggetti Introduzione alla programmazione ad oggetti a.a. 2008/2009 Claudio De Stefano 1 La programmazione modulare Un programma può essere visto come un insieme di moduli che

Dettagli

Ingegneria del Software 13b. Viste. Dipartimento di Informatica Università di Pisa A.A. 2014/15

Ingegneria del Software 13b. Viste. Dipartimento di Informatica Università di Pisa A.A. 2014/15 Ingegneria del Software 13b. Viste Dipartimento di Informatica Università di Pisa A.A. 2014/15 viste in AS Una vista è la rappresentazione di un insieme di elementi del sistema e delle loro proprietà e

Dettagli

PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16

PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16 PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16 SECONDO BIENNIO Disciplina: INFORMATICA La disciplina Informatica concorre a far conseguire allo

Dettagli

Agenzia delle Dogane e dei Monopoli

Agenzia delle Dogane e dei Monopoli PAG. 1 DI 39 Agenzia delle Dogane e dei Monopoli Allegato Tecnico per le Scommesse su Eventi Simulati PAG. 2 DI 39 INDICE PREMESSA 3 INTRODUZIONE 4 1. SISTEMA DI GIOCO VIRTUALE 6 1.1 PIATTAFORMA DI GIOCO

Dettagli

Sommario Unified Modeling Language Ing. Gianluca Di Tomassi www.ditomassi.it Modelli del processo SW Modello a cascata Sviluppo iterativo del SW Modello incrementale Modello a spirale Unified Modeling

Dettagli

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali CL AS SE INFORMATICA 6(3) 6(4) - 6(4) SISTEMI E RETI 4(2) 4(2) 4(2) TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI COMPETENZE 3 Essere in grado di sviluppare semplici applicazioni

Dettagli

Gestione Requisiti. Ingegneria dei Requisiti. Requisito. Tipi di Requisiti e Relativi Documenti. La gestione requisiti consiste in

Gestione Requisiti. Ingegneria dei Requisiti. Requisito. Tipi di Requisiti e Relativi Documenti. La gestione requisiti consiste in Ingegneria dei Requisiti Il processo che stabilisce i servizi che il cliente richiede I requisiti sono la descrizione dei servizi del sistema Funzionalità astratte che il sistema deve fornire Le proprietà

Dettagli