Verifiche delle proprietà del software e della loro corrispondenza alle specifiche formali
|
|
- Marco Arcuri
- 6 anni fa
- Visualizzazioni
Transcript
1 Verifiche delle proprietà del software e della loro corrispondenza alle specifiche formali Prof.ssa Susanna Donatelli Prof. Franco Sirovich Dipartimento di Informatica Università di Torino susi@di.unito.it
2 Specificare Informale Indicazioni Lingua italiana il più precisa possibile Difficilmente elaborabile Semi-formale Indicazioni di maggior precisione Semi-elaborabile Formale Indicazioni non-ambigue Elaborabili in modo automatico 2
3 Specificare Costo della specifica iniziale e capacità richieste Costo totale dello sviluppo e del mantenimento Informale Semi-formale Formale 3
4 Specificare Requisiti non-funzionali: prestazioni affidabilità usabilità Sicurezza ( antivirus Possono essere in contrasto fra loro (es: ( personale Difficili da specificare (anche per mancanza di istruzione del ( sicurezza Difficili da verificare e da garantire nel tempo (es: I requisiti non-funzionali devono essere specificati allo stesso tempo e con la stessa attenzione di quelli funzionali (difficile aggiungere affidabilità, ( posteriori prestazioni e sicurezza a 4
5 Specifica informale Esempi: il nostro server degli ordini on-line deve essere in grado di supportare le seguente prestazioni: Sino a 10 utenti di tipo A --- meno di 0.5 sec per query Sino a 100 utenti di tipo B --- meno di 2 sec per query Etc... pensando al futuro! il nostro server deve garantire "queste" prestazioni nel 98% dei casi, con tempo massimo di down-time 1 minuto, qualunque sia la causa, anche catastrofica, del problema 5
6 Specifica semi-formale Estensioni del linguaggio di specifica semi-formale piu' di moda: UML ( ) I vari diagrammi sono modificati aggiungendo attributi e altre caratteristiche alle classi di base del meta-modello di UML, e quindi a tutti i diagrammi di UML L'estensione è realizzata tramite profili: UML MARTE UML SPT RT Corba SysML Richiede skill e molto lavoro 6
7 Un esempio di alcune classi in ( dependability ) MARTE 7
8 Specifica formale Linguaggi e logiche che permettono di specificare in modo preciso e non-ambiguo sistemi e vincoli temporali di affidabilità e prestazioni Cosa vuol dire "preciso"? ( 300ms Dato un vincolo ( msg m: m.inviato ack(m).receive and time < (.. ack(m1)=0.7 Data una sequenza temporale di eventi (time(m1) = 0.5, Il vincolo è soddisfatto? Se non è soddisfatto, mostra un controesempio Model-checking 8
9 Specifica formale Normalmente non si specificano sequenze temporali di esecuzioni, ma insiemi, anche infiniti, di esecuzioni, usando ( automata Estensioni di automi (timed ( automata Estensioni di Reti di Petri (timed and stochastic ( task Linguaggi ad-hoc per specifiche applicazioni (es: scheduling di 9
10 Specifica formale - sistemi Esempi Timed Petri Net 10
11 Specifica formale - sistemi Esempi Timed Automata Quando si percorre l'arco si resetta il clock L'arco puo' essere percorso solo se y>=5 11
12 Specifica formale - sistemi 12
13 Specifica formale - vincoli Logiche di vario tipo Timed CTL ( CSL ) Stochastic CTL 13
14 Specifica formale - strumenti Si distinguono in base ai linguaggi utilizzati per sistema e vincoli, agli algoritmi di model-checking, possibilità di generare codice, supporto fornito Uppaal Timed automata e logica TCTL molto semplificata Romeo/TINA - Timed Petri Nets e logica TCTL completa romeo.rts-software.org Oris varie forme di Timed Petri Nets e logica TCTL con supporto grafico per la definizione di vincoli e generatore per Linux real-time 14
15 Garantire/controllare requisiti non funzionali Approccio integrato, a seconda degli obiettivi e delle disponibilità: Generare automaticamente il codice dalle specifiche formali - approccio molto usato in sistemi embedded/real-time Generare modelli dal codice e verificare le proprietà approccio usato soprattutto per predire le prestazioni in ambiti esecutivi diversi Estendere la fase di test funzionale a includere anche aspetti non funzionali 15
16 Garantire/controllare requisiti non funzionali Problema: dipendenza dall'ambiente di esecuzione ( private Applicazioni che usano le reti di comunicazione (sia Internet che Aggiornamenti di librerie, sistema operativo, etc. ( carico Dipendenza dallo scheduler (e dal. Ricerca di una soluzione: specificare e costruire ambienti di test Un esempio di soluzione: utilizzare le macchine virtuali per "congelare" il sistema Utilizzato nel corso di Specifiche di Processi Concorrenti per assicurare un ambiente di lavoro uniforme per gli studenti Permette di aggiornare le librerie, per esempio, di Java, senza che questo influenzi l esecuzione dell applicativo 16
17 Scegliere tecniche e strumenti Quale tecnica? Quale strumento? Che tipo di esperti? Che limiti ha? Che metodologia adotta? In quali fasi delo sviluppo? Quanto costa? Di quante persone ho bisogno? Che esperienza è necessaria? Che tipo di formazione? Quali limitazioni di scala? Esaustività? Affidabilità? Espressività? Efficienza? Supporto? Grado di automazione? 17
18 Scegliere tecniche e strumenti (2) Ma soprattutto, cosa chiede il mercato oggi, e cosa chiederà domani?
19 Program Verification SLAM Bandera
20 SLAM Verifica statica di programmi in C Verifica del rispetto delle specifiche di API Astrazione dal codice Model checking dell'astrazione ottenuta automaticamente dal codice Valido per domini con limitata dimensione degli stati delle variabili 20
21 Bandera Generazione automatica di modello a stati finiti di codice scritto in Java Produzione del modello nel formalismo di una serie di tool di verifica Uso del tool di verifica per verificare che il modello del codice soddisfa le proprietà rilevanti che la specifica soddisfa 21
22 Infine.. grazie della vostra attenzione 22
Materiale didattico. Sommario
Diploma Universitario in Ingegneria Informatica Corso di Ingegneria del Software Docente: ing. Anna Rita Fasolino Dipartimento di Informatica e Sistemistica Università degli Studi di Napoli Federico II
DettagliCosa è l Informatica?
Cosa è l Informatica? Scienza degli elaboratori elettronici (Computer Science) Scienza dell informazione Scienza della rappresentazione, memorizzazione, elaborazione e trasmissione dell informazione Elaboratore
DettagliAnalisi e specifica dei requisiti
Analisi e specifica dei requisiti Processo che stabilisce i servizi che il committente richiede al sistema da sviluppare ed i vincoli con cui lo si utilizzera` e sviluppera` Requisiti funzionali o non
DettagliIntroduzione al Calcolo Scientifico
Introduzione al Calcolo Scientifico Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico 1 / 14 Calcolo Scientifico Insieme degli
DettagliIl calcolatore. Architettura di un calcolatore (Hardware)
Il calcolatore Prima parlare della programmazione, e' bene fare una brevissima introduzione su come sono strutturati i calcolatori elettronici. I calcolatori elettronici sono stati progettati e costruiti
DettagliIntroduzione al Corso di Verifica Automatica dei Sistemi: Teoria e Applicazioni
Introduzione al Corso di Verifica Automatica Anno Accademico 2010/11 1 Introduzione al Corso di Verifica Automatica dei Sistemi: Teoria e Applicazioni Angelo Montanari Dipartimento di Matematica e Informatica
DettagliIngegneria del Software 4. Introduzione a UML. Dipartimento di Informatica Università di Pisa A.A. 2014/15
Ingegneria del Software 4. Introduzione a UML Dipartimento di Informatica Università di Pisa A.A. 2014/15 e per i modelli iterativi analisi peliminare analisi e progettazione realizzazione Necessità di
DettagliOttimizziamo il flusso di lavoro aziendale ed abbattiamo i costi di gestione mediante l uso di tecnologie adeguate.
L infrastruttura software si compone di tutti quei sistemi e servizi informatici (spesso invisibili all utente finale) che permettono un corretto funzionamento della rete informatica aziendale. S u di
DettagliQualità delle app per e-gov: i test di usabilità
Qualità delle app per e-gov: i test di usabilità Giornata della trasparenza Mise 18 dicembre 2015 slide 1 di 19 Usabilità La misura con cui un prodotto può essere usato da specifici utenti per raggiungere
DettagliSETA Selection Tool del Sistema ARTIST
Selection Tool del Sistema ARTIST L incarico è stato affidato al RTI composta da: Kayser Italia S.r.l. Daxo con capogruppo Kayser Italia s.r.l. SETA () Espandibilità e flessibilità Delocalizzazione istallazione
DettagliParole note, nuovi significati: linguaggio, determinismo e infinito
Parole note, nuovi significati: linguaggio, determinismo e infinito Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Ciclo di seminari su un Vocabolario Filosofico
DettagliLe aree dell informatica
Fondamenti di Informatica per la Sicurezza a.a. 2006/07 Le aree dell informatica Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università
DettagliUniversità di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE. Paolo Salvaneschi A4_3 V2.1. Progettazione. Metodi e Linguaggi
Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE Paolo Salvaneschi A4_3 V2.1 Progettazione Metodi e Linguaggi Il contenuto del documento è liberamente utilizzabile dagli studenti, per
DettagliLe aree dell informatica
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Le aree dell informatica Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università
DettagliINTRODUZIONE AL TESTO FILOSOFICO
INTRODUZIONE AL TESTO FILOSOFICO MEDIANTE FORME DI ANNOTAZIONE SEMANTICA Ciclo seminariale 4 febbraio 2011 4 marzo 2011 Fra ontologie e mappe: un introduzione Francesco Bianchini DI COSA PARLEREMO Mappe
DettagliStudio del linguaggio TROPOS per la modellazione dei requisiti orientata agli agenti
tesi di laurea Studio del linguaggio TROPOS per la modellazione dei requisiti orientata agli agenti Anno Accademico 2005/2006 relatore Ch.mo Prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato
DettagliSviluppo dei Programmi
Programmazione I a.a 2009-2010 docente: Carmine Gravino Sviluppo dei Programmi Presentazione realizzata dal Prof. Andrea De Lucia 1 Analisi e Specifica Sviluppo dei programmi Progettazione Codifica Verifica
DettagliLaboratorio di Progettazione di Sistemi Software Progetto: modellazione di un dominio e sue attività
Laboratorio di Progettazione di Sistemi Software Progetto: modellazione di un dominio e sue attività Valentina Presutti (A-L) Riccardo Solmi (M-Z) Definizione del problema Modello di un dominio Si vuole
DettagliCorso di Informatica
Corso di Informatica Modulo T1 3-Equipaggiamento di un SO 1 Prerequisiti Hardware e software Uso pratico elementare di un sistema operativo Struttura a strati del SO 2 1 Introduzione In questa Unità vogliamo
DettagliTIA Portal Frequently Asked Questions. For internal use only / Siemens Spa All Rights Reserved.
Frequently Asked Questions Generale TIA Portal Il Totally Integrated Automation Portal V11 costituisce un framework di base, condiviso dalle nuove versioni di SIMATIC Step 7 e SIMATIC WinCC. L innesto
DettagliConcetti Introduttivi. Il Computer
Concetti Introduttivi Il Computer Introduzione Informazione Notizia, dato o elemento che consente di avere conoscenza più o meno esatta di fatti, situazioni, modi di essere Messaggio Tutto ciò che porta
DettagliLaboratorio software. A.A. 2009-2010 C. Brandolese
Laboratorio software A.A. 2009-2010 Hardware testing with software T1. RAM Testing Il progetto ha lo scopo di studiare e sviluppare alcune delle tecniche note per il testing della memoria RAM di un sistema
DettagliTECNOLOGIE DELL INFORMAZIONE E DELLA COMUNICAZIONE PER LE AZIENDE
TECNOLOGIE DELL INFORMAZIONE E DELLA COMUNICAZIONE PER LE AZIENDE Materiale di supporto alla didattica Tecnologie dell informazione e della comunicazione per le aziende CAPITOLO 5: La gestione delle informazioni
DettagliProgrammazione di INFORMATICA e Laboratorio
ISIUO ECNICO SAALE settore ECNOLOGICO ad indirizzo: Elettronica ed Elettrotecnica - Informatica e elecomunicazioni Meccanica, Meccatronica ed Energia "VIORIO EMANUELE III" Via Duca della Verdura, 48-90143
DettagliAlgoritmi. Pagina 1 di 5
Algoritmi Il termine algoritmo proviene dalla matematica e deriva dal nome di in algebrista arabo del IX secolo di nome Al-Khuwarizmi e sta ad indicare un procedimento basato su un numero finito operazioni
DettagliLa Raccolta dei Requisiti. Corso di Ingegneria del Software Anno Accademico 2012/2013
La Raccolta dei Requisiti Corso di Ingegneria del Software Anno Accademico 2012/2013 Introduzione La raccolta dei requisiti è il processo della determinazione in forma testuale (anche grafica) di che cosa
DettagliElena Baralis 2007 Politecnico di Torino 1
Introduzione Sistemi informativi 2 Introduzione Base di dati Modello dei dati Accesso ai dati Vantaggi e svantaggi dei DBMS 4 6 2007 Politecnico di Torino 1 7 8 9 10 Sistema informatico Nei sistemi informatici,
DettagliCapitolo 6 Le infrastrutture SoftWare
Capitolo 6 Le infrastrutture SoftWare Funzioni del sistema operativo Rendere utilizzabili le risorse fisiche presenti nel sistema informatico: garantire la correttezza e la precisione nell elaborazione
Dettagliorario ricevimento via e-mail: orario ufficio risposta entro 3 giorni
FACOLTA : INGEGNERIA CORSO DI LAUREA: INFORMATICA INSEGNAMENTO: CONTROLLI DIGITALI Modulo 1 NOME DOCENTE: Prof. Giovanni Fedecostante indirizzo e-mail: giovanni.fedecostante@uniecampus.it orario ricevimento
DettagliTecnologie Informatiche L-31. Corso di Ingegneria del software e Laboratorio di Ingegneria del software
Tecnologie Informatiche L-31 Corso di Ingegneria del software e Laboratorio di Ingegneria del software Anno Accademico 2011/12 Rosario Culmone - p. 1/17 Orario Titolo Partizioni Lezioni Chi tiene il corso
DettagliCalcolatori Elettronici Parte VIII: linguaggi assemblativi
Anno Accademico 2013/2014 Calcolatori Elettronici Parte VIII: linguaggi assemblativi Prof. Riccardo Torlone Universita di Roma Tre Linguaggi di Programmazione Linguaggi ad alto livello Maggiore espressività
DettagliBASI DI DATI. basi di dati - introduzione ai sistemi informativi 1
BASI DI DATI basi di dati - introduzione ai sistemi informativi 1 Sistema Informativo Insieme degli strumenti, risorse e procedure che consentono la gestione delle informazioni aziendali e' essenziale
DettagliUn nostro tecnico alle prese con un upgrade di circa 20 server presso un nostro cliente
SIXMA IMPIANTI Sixma Srl, società che nasce nel settore dell'informatica e degli impianti, lancia al suo interno la sfida del 2016: la nuova frontiera della sicurezza dati e cablaggio strutturato secondo
DettagliREPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA
REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA SETTORE ECONOMICO PROFESSIONALE 1 Servizi di informatica Processo Sviluppo e gestione di prodotti e servizi informatici Sequenza di
DettagliDIAGNOSTICA DEI CIRCUITI INTEGRATI DEFINIZIONI GENERALI
DIAGNOSTICA DEI CIRCUITI INTEGRATI Obiettivi: Verificare la funzionalità del circuito Verificare il possibile uso del circuito per particolari applicazioni DEFINIZIONI GENERALI Affidabilità: Probabilità
Dettagliinteroperabilità fra dispositivi forniti da diversi produttori; superare i problemi legati alla limitazione del numero di risorse.
Capitolo 7 Le infrastrutture SoftWare Funzioni del sistema operativo Rendere utilizzabili le risorse fisiche presenti nel sistema informatico: correttezza e precision; anywhere, anytime; affidabilità,
Dettaglivero: metodi di sequenziali, linee di (lettura del disegno) 5. Utilizzare software di base di lavorazione per la
PROGRAMMAZIONE COMUNE DI TECNOLOGIE E TECNICHE DI RAPPRESENTAZIONE GRAFICA 1 - Biennio IP09 (1 anno) Asse Scientifico-Tecnologico Indicazioni nazionali Competenze di base 1. Individuare le strategie appropriate
DettagliMBM Italia S.r.l. Via Pellizzo 14/a Padova Tel. Fax
ARCHITETTURA APPLICATIVA XML IL PROCESSO ELABORATIVO SI SVILUPPA IN QUATTRO PASSI: ERP PLANNING SERVER 1 2 Estrazione dei dati dai data base in cui sono gestiti e creazione di file XML che vengono trasferiti
DettagliInformatica Generale Andrea Corradini Gli algoritmi e la risoluzione di problemi
Informatica Generale Andrea Corradini 12 - Gli algoritmi e la risoluzione di problemi Sommario Che significa risolvere un problema? Algoritmi e programmi Rappresentazione di algoritmi Lo pseudocodice Primitive
DettagliAnalytical and simulation performance models for software system analysis and prediction
Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools Analytical and simulation performance models for software system analysis and prediction S. Balsamo, M. Marzolla, M. Simeoni
DettagliSISTEMI INFORMATIVI AZIENDALI. introduzione ai sistemi informativi 1
SISTEMI INFORMATIVI AZIENDALI introduzione ai sistemi informativi 1 Sistema Informativo Insieme degli strumenti, risorse e procedure che consentono la gestione delle informazioni aziendali e' essenziale
DettagliMetodi formali per la verifica dell affidabilità di sistemi software (e hardware) (Peled, Software Reliability Methods, cap. 1) Importanza della
Metodi formali per la verifica dell affidabilità di sistemi software (e hardware) (Peled, Software Reliability Methods, cap. 1) Importanza della verifica di sistemi (safety-critical, commercially critical,
DettagliStrumenti per l automazione del testing di applicazioni web Javascript-based
tesi di laurea Strumenti per l automazione del testing di applicazioni web Javascript-based Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana 1 candidato Salvatore Agnello Matr. 41/2612
DettagliDescrizione processo
ALLEGATO B Standard Parte 3 Descrizione processo Ver. Pagina 1 di 16 SOMMARIO 1. INTRODUZIONE... 3 1.1 SCOPO E CAMPO DI APPLICAZIONE... 3 1.2 RIFERIMENTI... 3 1.3 GLOSSARIO ED ACRONIMI... 3 1.3.1
DettagliCapitolo I1: Laboratorio con DevC++
1. Introduzione DevC++ è un ambiente di sviluppo integrato (IDE, ovvero Integrated Development Environment) che permette di scrivere e verificare programmi in linguaggio C o C++, sia in modalità Windows
DettagliAlgoritmi e Linguaggi
Algoritmi e Linguaggi Programmi e linguaggi Un calcolatore è solo un esecutore rapidissimo di istruzioni Un programma è un insieme di istruzioni codificate in un opportuno linguaggio 2 / 21 Linguaggi e
DettagliSviluppo di programmi
Sviluppo di programmi Per la costruzione di un programma conviene: 1. condurre un analisi del problema da risolvere 2. elaborare un algoritmo della soluzione rappresentato in un linguaggio adatto alla
DettagliI sistemi operativi. Prof. Daniele Contarino
I sistemi operativi Prof. Daniele Contarino Indice dei contenuti Introduzione Classificazione e struttura dei S.O. Graphics User Interface (GUI) Il filesystem Windows 7 & Ubuntu Il copyright Domanda di
DettagliNUCLEI FONDANTI COMPETENZE CONTENUTI ABILITA METODOLOGIE E STRUMENTI METODO SCIENTIFICO VEDERE
NUCLEI FONDANTI COMPETENZE CONTENUTI ABILITA METODOLOGIE E STRUMENTI METODO SCIENTIFICO VEDERE OSSERVARE COMPARARE CLASSIFICARE FORMULARE E VERIFICARE IPOTESI UTILIZZANDO SEMPLICI SCHEMATIZZAZIONI Relazione
DettagliDistribuiamo e integriamo prodotti per l automazione
Company Profile Partner Tecnologico per Automazione e Difesa. Dal 1998 Realtà orgogliosamente italiana, nata per offrire una gamma completa di soluzioni ed apparati elettronici professionali Vogliamo offrire
DettagliUniversità di Torino. Torino 20 Febbraio, 2004
Università di Torino CENTRO INTERDIPARTIMENTALE DI RICERCA SULLA COMUNICAZIONE Convegno Data Mining e metodologia della ricerca sociale: la creazione di valore aggiunto per l utente Data Mining e ricerca
DettagliEnti locali a confronto Crescere con le imprese e con il territorio Milano, 30 maggio 2012
Enti locali a confronto Crescere con le imprese e con il territorio Milano, 30 maggio 2012 Cosa è il Registro dei datori di lavoro socialmente responsabili Il Registro predisposto da Regione Liguria, per
DettagliNormalizzazione. Definizione
Normalizzazione Definizione Le forme normali 2 Una forma normale è una proprietà di una base di dati relazionale che ne garantisce la qualità, cioè l'assenza di determinati difetti Quando una relazione
DettagliUtilizzo collegamento remoto
Utilizzo collegamento remoto Introduzione Il collegamento VPN (virtual private network) consente a PC collegati ad internet ma fisicamente fuori dalla rete interna regionale, di accedere, con le credenziali
Dettaglitesto Saveris Web Access Software Istruzioni per l'uso
testo Saveris Web Access Software Istruzioni per l'uso 2 1 Indice 1 Indice 1 Indice... 3 2 Descrizione delle prestazioni... 4 2.1. Utilizzo... 4 2.2. Requisiti di sistema... 4 3 Installazione... 5 3.1.
DettagliApplicazione dei PLC nei servizi di trasporto e distribuzione dell energia. Pietro Zambon Omron Electronics
Applicazione dei PLC nei servizi di trasporto e distribuzione dell energia Pietro Zambon Omron Electronics Le applicazioni significative che sono state realizzate sono: La regolazione della tensione nelle
DettagliIL PROCESSO di PROGETTAZIONE
IL PROCESSO di PROGETTAZIONE In questa lezione vedremo: La definizione di progettazione La progettazione in ambito ingegneristico I modelli del processo di progettazione il modello di Pahl Beitz il modello
Dettaglila dimensione massima dell arena è di 30x30 m la dimensione massima dei marker è di 50x50 cm la dimensione minima dei marker è di 20x20 cm
Il seguente documento formalizza le regole del contest Drone Vision Cup 2015, ideato e promosso dal MIVIA Lab, Laboratorio di Macchine Intelligenti per il riconoscimento di Immagini, Video e Audio, nell
DettagliProgramma di INFORMATICA
Classe 2 a D Indirizzo AMMINISTRAZIONE FINANZA E MARKETING MODULO 1: Word professionale e la corrispondenza commerciale UD 1 Questione di stile 1.1 Gli stili 1.2 Applichiamo gli stili UD 2 Formattazione
DettagliUNIVERSITA' DEGLI STUDI DI MILANO - BICOCCA Facoltà di Scienze Matematiche, Fisiche e Naturali
UNIVERSITA' DEGLI STUDI DI MILANO - BICOCCA Facoltà di Scienze Matematiche, Fisiche e Naturali VECCHIO ORDINAMENTO Anno Accademico 2004/2005 Matricola Cognome Nome Recapito Tel. Orientamenti: METODI E
DettagliProgrammazione didattica di Matematica a. s. 2015/2016 V H
ISIS Guido Tassinari Pozzuoli (NA) Programmazione didattica di Matematica a. s. 2015/2016 V H Prof.ssa Costigliola Analisi della situazione di partenza La classe V sezione H è costituita da un gruppo di
DettagliLa piattaforma Moodle al servizio del Test di Accertamento dei Requisiti Minimi (TARM) per l ingresso in Università
La piattaforma Moodle al servizio del Test di Accertamento dei Requisiti Minimi (TARM) per l ingresso in Università Alice Barana 1, Alessandro Bogino 1, Michele Fioravera 1, Marina Marchisio 1, Sergio
DettagliProcessi decisionali e modelli di simulazione
Anno accademico 2008/09 Il Processo decisionale Realtà Sistema Modello Simulazione Decisioni Il sistema e i suoi confini Modelli I modelli sono lo strumento normale con cui interagiamo con la realtà, la
DettagliIntroduzione ai Calcolatori Elettronici
Introduzione ai Calcolatori Elettronici Elementi di Base dell ICT Information and Communication Technology Concetti Introduttivi A.A. 2013/2014 Domenica Sileo Università degli Studi della Basilicata Elementi
DettagliSISTEMI DI MONITORAGGIO ATTIVO
SISTEMI DI MONITORAGGIO ATTIVO Prof. Ing. Giulio Ventura Politecnico di Torino, Dipartimento Ingegneria Strutturale, Edile e Geotecnica A.R.CO.S. Engineering S.r.l. La società e l innovazione nel monitoraggio
DettagliSistema operativo & file system 1
Il software (sw) Software di sistema e file system Lezione 1b L esecuzione di programmi è lo scopo di un elaboratore I programmi sono algoritmi codificati in un particolare linguaggio di programmazione
DettagliMacchine sequenziali. Automa a Stati Finiti (ASF)
Corso di Calcolatori Elettronici I Macchine sequenziali Prof. Roberto Canonico Università degli Studi di Napoli Federico II Dipartimento di Ingegneria Elettrica e delle Tecnologie dell Informazione Corso
DettagliBibliografia. INFORMATICA GENERALE Prof. Alberto Postiglione. Scienze della Comunicazione Università di Salerno. Definizione di DB e di DBMS
INFORMATICA GENERALE DBMS: Introduzione alla gestione dei dati Bibliografia 4 ott 2011 Dia 2 Curtin, Foley, Sen, Morin Vecchie edizioni: 8.4, 8.5, 8.6, 8.7, 8.8 Edizione dalla IV in poi: 6.5, 21.1, 19.4,
DettagliIl concetto di informatica. Graziano Pravadelli (2012)
Il concetto di informatica Graziano Pravadelli (2012) Informatica e telecomunicazione Cos è l informatica? lo studio sistematico degli algoritmi che descrivono e trasformano l informazione: la loro teoria,
DettagliMicrosoft Visio 2002 UML Sergio Colosio
Microsoft Visio 2002 UML Sergio Colosio Casi d uso Prima di definire un caso d uso è necessario definire cosa s intende per scenario. Uno scenario è una sequenza di passi che descrivono l interazione tra
Dettagliin termini informali: un algoritmo è una sequenza ordinata di operazioni che risolve un problema specifico
Click to edit Algoritmo Master title style algoritmo: un insieme ordinato di operazioni non ambigue ed effettivamente computabili che, quando eseguito, produce un risultato e si arresta in un tempo finito
DettagliOPEN SOURCE. Concetti chiave e implicazioni per le scelte aziendali (fornitori e utenti)
OPEN SOURCE Concetti chiave e implicazioni per le scelte aziendali (fornitori e utenti) OBIETTIVI Cosa sono i sw open source? Cosa li distingue dai sofware non open? Quali implicazioni per: I professionisti
DettagliProgrammazione modulare
Programmazione modulare 2016 2017 Indirizzo: 1 BIENNIO Informatica e Telecomunicazioni Disciplina: SCIENZE E TECNOLOGIE APPLICATE Classi: 2 C - 2 D - 2 F Ore settimanali: 3 ore Prerequisiti per l'accesso
DettagliPrefazione...IX. Ringraziamenti...XIII. Gli autori...xv. Capitolo 1 - Le tecnologie mobili: la nuova generazione di tecnologie dell informazione...
Sommario Prefazione...IX Ringraziamenti...XIII Gli autori...xv Capitolo 1 - Le tecnologie mobili: la nuova generazione di tecnologie dell informazione...1 Perché le aziende stanno adottando le applicazioni
DettagliVirtualizzazione e macchine virtuali. Presentata da Bernardo Lombardi
Virtualizzazione e macchine virtuali Presentata da Bernardo Lombardi La virtualizzazione Per virtualizzazione, in ambiti informatici, si intende la creazione di una versione virtuale di una risorsa normalmente
DettagliLe basi di dati. Definizione 1. Lezione 2. Bisogna garantire. Definizione 2 DBMS. Differenza
Definizione 1 Lezione 2 Le basi di dati Gli archivi di dati Organizzato in modo integrato attraverso tecniche di modellazione di dati Gestiti su memorie di massa Con l obiettivo Efficienza trattamento
DettagliF O R M A T O E U R O P E O
F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome DE SIMONE PAOLO Telefono 0817962832 E-mail paolo.desimone@regione.campania.it Nazionalità Italiana Data di
DettagliAnalizzatore lessicale o scanner. Lo scanner rappresenta un'interfaccia fra il programma sorgente e l'analizzatore sintattico o parser.
Analizzatore lessicale o scanner Dispensa del corso di Linguaggi e Traduttori A.A. 2005-2006 Lo scanner rappresenta un'interfaccia fra il programma sorgente e l'analizzatore sintattico o parser. Lo scanner,
DettagliVeronafiere! 28-29 ottobre 2014! Gli atti dei convegni e più di 4.000 contenuti su www.verticale.net
Veronafiere! 28-29 ottobre 2014! Gli atti dei convegni e più di 4.000 contenuti su www.verticale.net Le novità del software di configurazione ETS5 Ing. Renato Ricci Coordinatore Formazione KNX Italia Verona
DettagliCorso Programmazione Java Standard
Corso Programmazione Java Standard Codice: ITJS0113 Durata: 40 ore Descrizione corso Questo corso fornisce una panoramica sulle varie sfaccettature della sintassi del linguaggio Java, integrata con mirate
DettagliAdattabilità fisica e inferenze nella visualizzazione
Adattabilità fisica e inferenze nella visualizzazione Lezione del Corso Interazione Uomo Macchina 2, Docente Francesco Mele Corso di Laurea in Informatica Università di Napoli Federico II, Anno Accademico
DettagliMaX - Un applicazione software per il
UTTS - Centro Ricerche Saluggia Dott. Riccardo Levizzari riccardo.levizzari@enea.it MaX - Un applicazione software per il calcolo dell indice IBMR ai fini della classificazione dello stato ecologico dei
DettagliFile e cartelle File system Software di utilità Il S.O. e le periferiche Il S.O. e la memoria
File e cartelle File system Software di utilità Il S.O. e le periferiche Il S.O. e la memoria File Una sequenza di byte che rappresenta una informazione omogenea E l unità logica di memorizzazione sui
DettagliValutazione delle Prestazioni Dipartimento di Informatica Università di Torino. Matteo Sereno
Valutazione delle Prestazioni Dipartimento di Informatica Università di Torino Matteo Sereno Workshop Qualita' del Servizio nei Sistemi Geograficamente Distribuiti 9-10 Giugno 2004 Roma 1 Outline Breve
DettagliLaurea magistrale in Relazioni di lavoro (LM-77 Scienze economico aziendali) Modena, 29 maggio 2014
Laurea magistrale in Relazioni di lavoro (LM-77 Scienze economico aziendali) Modena, 29 maggio 2014 Progetto culturale Il corso di laurea è concepito come esperienza formativa interdisciplinare in materia
Dettagli(b) LOGIC SYNTHESIS DESIGN FLOW
1 (b) LOGIC SYNTHESIS DESIGN FLOW ASIC HDL DIGITAL CIRCUITS DESIGN FLOW FPGA HDL DESIGN FLOW SINTESI DI TENTATIVO E SIMULAZIONE POST SINTESI DEL PROCESSORE MU0 OTTIMIZZAZIONE DELLA SINTESI DEL PROCESSORE
DettagliISTITUTO TECNICO INDUSTRIALE STATALE "G. MARCONI" Via Milano n PONTEDERA (PI) DIPARTIMENTO: Informatica
SETTEMBRE Seconda Liceo SA PROGRAMMAZIONE DI DIPARTIMENTO COORDINATA TEMPORALMENTE DISCIPLINA: Monte ore annuo 66 Libro di Testo E-book dal sito www.matematicamente.it. Pettarin ECDL Appunti forniti dal
DettagliPROBLEMI ALGORITMI E PROGRAMMAZIONE
PROBLEMI ALGORITMI E PROGRAMMAZIONE SCIENZE E TECNOLOGIE APPLICATE CLASSE SECONDA D PROGRAMMARE = SPECIFICARE UN PROCEDIMENTO CAPACE DI FAR SVOLGERE AD UNA MACCHINA UNA SERIE ORDINATA DI OPERAZIONI AL
DettagliApplicazione: Trattamento Dati Personali
Riusabilità del software Catalogo delle applicazioni Gestione Personale Applicazione: Trattamento Dati Personali Amministrazione: (INAIL) Istituto Nazionale per l Assicurazione contro gli Infortuni sul
DettagliARCHITETTURA DI UN DBMS
ARCHITETTURA DI UN DBMS Modelli di dati Un approccio con basi di dati fornisce un certo livello di astrazione dei dati Nasconde i dettagli sulla memorizzazione dei dati stessi Un modello dei dati fornisce
DettagliProf. Ing. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari AUTOMAZIONE INDUSTRIALE
Prof. Ing. Maria Pia Fanti Dipartimento di Elettrotecnica ed Elettronica Politecnico di Bari AUTOMAZIONE INDUSTRIALE Contenuti - Le funzioni di controllo - Funzionamento di un FMS - Pianificazione e scheduling
DettagliPROGRAMMAZIONE DISCIPLINARE LICEO SCIENTIFICO OPZIONE SCIENZE APPLICATE INFORMATICA CLASSE QUINTA
PROGRAMMAZIONE DISCIPLINARE PROGRAMMAZIONE DISCIPLINARE LICEO SCIENTIFICO OPZIONE SCIENZE APPLICATE INFORMATICA CLASSE QUINTA 1. Competenze: le specifiche competenze di base disciplinari previste dalla
DettagliDocente: Prof. Marco Patella Tutor: Vincenzo Lomonaco
Università di Bologna Facoltà di Ingegneria C.d.L. in Ing. Gestionale Fondamenti di Informatica T-1 (A-K) A.A. 2015/16 Docente: Prof. Marco Patella Tutor: Vincenzo Lomonaco 1 Obiettivi del corso Il corso
DettagliRapporto conclusivo di accessibilità
Rapporto conclusivo di accessibilità Modello per i soggetti di cui all articolo 3, comma 1, della legge 9 gennaio 2004, n. 4 Soggetto interessato: I.I.S. "" PANTALEONE COMITE" MAIORI (SA) Responsabile
DettagliI Diagrammi di Flusso OO
Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - I Diagrammi di Flusso OO Generalità I diagrammi di attività vengono usati per modellare processi a
DettagliFondamenti VBA. Che cos è VBA
Fondamenti VBA Che cos è VBA VBA, Visual Basic for Application è un linguaggio di programmazione, inserito nelle applicazioni Office di Microsoft (Ms Word, Ms Excel, Ms PowerPoint, Visio). VBA è una implementazione
DettagliLinguaggi di alto livello, compilatori e interpreti
Linguaggi di alto livello, compilatori e interpreti Percorso di Preparazione agli Studi di Ingegneria Università degli Studi di Brescia Docente: Massimiliano Giacomin Il punto della situazione STATO DATI
Dettaglihttp://www.indagini.assolombarda.it/myk-user-ui/begin.jsp?campaignuri=c3rvcmfn...
PERITO INFORMATICO Dati azienda Ragione sociale * Settore Classe dimensionale Seleziona un'opzione Seleziona un'opzione CAP Località - es. 20100 (per Milano) - Associazione di appartenenza * E' possibile
DettagliUDA 7 - GEOMETRIA E MISURA
Classe 2 - Unità 7 IL LIBRO DEI NUMERI UDA 7 - GEOMETRIA E MISURA Questa breve Unità affronta in modo pratico e intuitivo concetti che verranno più ampiamente sviluppati in classe terza. Gli argomenti
DettagliCorso di Laurea in Scienze e Tecnologie Chimiche corso di Informatica Generale
Corso di Laurea in Scienze e Tecnologie Chimiche corso di Informatica Generale Paolo Mereghetti DISCo Dipartimento di Informatica, Sistemistica e Comunicazione Internet (Parte 1) Reti di Computer Cosa
Dettagli