2,841 research outputs found
Due progetti di elaborazione informatica
No full textProgetto di elaborazione informatica per il patrimonio collezionistico del Museo Nazionale del Bargello di Firenze, con particolare attenzione alla sua raccolta forse più rappresentativa: la Carrand
Logging TOPdesk Enterprise - Bachelorproject Technische Informatica
No full textEindverslag Bachelorproject Technische Informatica. De ontwikkeling van een analyse systeem voor logbestanden gegenereerd door de applicatie TOPdesk Enterprise.Software EngineeringElectrical Engineering, Mathematics and Computer Scienc
Informatica di base, Appunti dalle lezioni
No full textInformatica, Algoritmi, Strutture dei ati, Sistemi di numerazione posizionale, Sistemi elaborativi, Sistemi operativi, Architettura dei Sistemi informatici, Telematica, Basi di dati, Programmazione, introduzione al linguaggio VB
INFORMATICA DI BASE (PER ECONOMIA)
No full textIl testo, sviluppato da alcuni docenti di Informatica per i Corsi di laurea attivati alla Facoltà di Economia dell’Università di Napoli “Federico II”, è un insieme di appunti delle lezioni, è diviso in tre parti e si affianca ad altri testi che sono, invece, di supporto alle attività di laboratorio informatico che si sviluppano parallelamente durante il corso. La prima parte del testo (dal primo al sesto capitolo) è dedicata alle basi dell’ Informatica. In particolare, il primo capitolo è dedicato ad una breve storia degli eventi prodromici per la costruzione dell’ elaboratore, alle varie generazioni ed ai concetti base di algoritmo e di programma. Vengono poi presentate (cap. 2) le strutture di dati più utilizzate in Informatica e poi, nel terzo capitolo, sono richiamate le nozioni di sistemi di numerazione posizionale al fine di trasformare ogni informazione “analogica” (numero o carattere) in informazione “binaria”. Il quarto capitolo è esclusivamente dedicato ad illustrare le varie componenti della architettura di un Sistema di elaborazione mentre il Sistema operativo è illustrato (cap. 5) con le sue caratteristiche e funzioni fondamentali. Le reti ed i concetti di base della Telematica (trasmissione dei dati) sono esaminati nel sesto capitolo. La seconda parte del testo è dedicata alle Basi di dati. Due capitoli (capp. 7 e 8) hanno per obiettivo una introduzione al modello Entità-Relazione, al modello relazionale ed alla progettazione di Basi di Dati. Nel successivo capitolo (cap. 8) vengono richiamate le forme normalizzate ed i concetti dell’ algebra relazionale con gli operatori relazionali usati per gestire le Basi di dati. La terza ed ultima parte tratta i concetti di base per la programmazione e per l’utilizzo del linguaggio VBA (Visual Basic for Application) utilizzabile in ambiente Excel. Nel nono e decimo capitolo sono, infatti, delineati i passi fondamentali per la costruzione dei programmi utilizzando i linguaggi di programmazione, sono riportati alcune mappe strutturali di semplici algoritmi e sono illustrati, in dettaglio, alcuni semplici programmi (macro) con lo scopo di far esercitare lo studente all’uso del VBA
INFORMATICA DI BASE (per ECONOMIA) - Terza edizione
No full textIl testo, sviluppato da alcuni docenti di Informatica per i Corsi di laurea attivati alla Facoltà di Economia dell’Università di Napoli “Federico II”, è un insieme di appunti delle lezioni, è diviso in tre parti e si affianca ad altri testi che sono, invece, di supporto alle attività di laboratorio informatico che si sviluppano parallelamente durante il corso. La prima parte del testo (dal primo al sesto capitolo) è dedicata alle basi dell’ Informatica. In particolare, il primo capitolo è dedicato ad una breve storia degli eventi prodromici per la costruzione dell’ elaboratore, alle varie generazioni ed ai concetti base di algoritmo e di programma. Vengono poi presentate (cap. 2) le strutture di dati più utilizzate in Informatica e poi, nel terzo capitolo, sono richiamate le nozioni di sistemi di numerazione posizionale al fine di trasformare ogni informazione “analogica” (numero o carattere) in informazione “binaria”. Il quarto capitolo è esclusivamente dedicato ad illustrare le varie componenti della architettura di un Sistema di elaborazione mentre il Sistema operativo è illustrato (cap. 5) con le sue caratteristiche e funzioni fondamentali. Le reti ed i concetti di base della Telematica (trasmissione dei dati) sono esaminati nel sesto capitolo. La seconda parte del testo è dedicata alle Basi di dati. Due capitoli (capp. 7 e 8) hanno per obiettivo una introduzione al modello Entità-Relazione, al modello relazionale ed alla progettazione di Basi di Dati. Nel successivo capitolo (cap. 8) vengono richiamate le forme normalizzate ed i concetti dell’ algebra relazionale con gli operatori relazionali usati per gestire le Basi di dati. La terza ed ultima parte tratta i concetti di base per la programmazione e per l’utilizzo del linguaggio VBA (Visual Basic for Application) utilizzabile in ambiente Excel. Nel nono e decimo capitolo sono, infatti, delineati i passi fondamentali per la costruzione dei programmi utilizzando i linguaggi di programmazione, sono riportati alcune mappe strutturali di semplici algoritmi e sono illustrati, in dettaglio, alcuni semplici programmi (macro) con lo scopo di far esercitare lo studente all’uso del VBA
Timing diagrams add Requirements Engineering capability to Event-B Formal Development
No full textEvent-B is a language for the formal development of reactive systems. At present the RODIN toolkit [15] for Event-B is used for modeling requirements, specifying refinements and doing verification. In order to extend graphical requirements modeling capability into the real-time domain, where timing constraints are essential, we propose a Timing diagram (TD) [13] notation for Event-B. The UML 2.0 based notation provides an intuitive graphical specification capability for timing constraints and causal dependencies between system events. A translation scheme to Event-B is proposed and presented. Support for model refinement is provided. A partial case study is used to demonstrate the translation in practice
Coding, pensiero computazionale e informatica: quale evoluzione possibile?
No full textAnalizziamo, dal punto di vista dell’informatica e della didattica dell’informatica, l’espressione “coding, pensiero computazionale e informatica” utilizzata in recenti documenti ministeriali e piu in ` generale per parlare dell’introduzione dell’informatica a scuol
An incremental development of the Mondex system in Event-B
No full textA development of the Mondex system was undertaken using Event-B and its associated proof tools. An incremental approach was used whereby the refinement between the abstract specification of the system and its detailed design was verified through a series of refinements. The consequence of this incremental approach was that we achieved a very high degree of automatic proof. The essential features of our development are outlined. We also present some modelling and proof guidelines that we found helped us gain a deep understanding of the system and achieve the high degree of automatic proo
- …
