Elementi di Software Dependability

 La pervasivita’ del software in una miriade di oggetti di cui ci serviamo ogni giorno per le piu’ svariate attivita’ e’ nota. Questa pervasivita’ rende impellente la necessita’ che il software sia esente da guasti.
Il corso si propone di illustrare una serie di tecniche che consentono di ovviare per quanto possibile al problema dell’introduzione di errori di progetto nella produzione del software; quindi, principalmente, tecniche di verifica formale e di sviluppo formale del software, ma anche tecniche di previsone dei guasti e di tolleranza ai guasti. Saranno studiati i costi dell’introduzione di queste tecniche in un contesto produttivo, e come il processo produttivo si debba relazionare a normative specifiche di alcuni settori di produzione industriale del software.

Read More…

Tecnologie del Software per Internet

La prima parte del corso è stata una panoramica generale sul java, vi metto qualche buon tutorial per poter dare un’occhiata e incominciare a vedere questo linguaggio di programmazione :

Read More…

Progettazione e Produzione Multimediale

corso a cura del professor Alberto Del Bimbo.

Il corso di Progettazione e Produzione Multimediale è tenuto dal professor Del Bimbo, full professor di Computer Engineering all’università di Firenze , nonchè direttore del Master in Multimedia e vice rettore sempre all’università di Firenze.

Read More…

Gestione Reti di Telecomunicazione

corso a cura dell’ ing. Tommaso Pecorella

Ecco un estratto generale dalle slides del corso :

Read More…

Basi di Dati

Tutto ciò che è indispensabile per capirci qualcosa sulle basi di dati e in più i lucidi del libro usati nel corso presso la facoltà in Ingegneria dell’Università di Firenze.

Read More…

Teoria dei Circuiti

Metodologie necessarie per comprendere il funzionamento e saper ricavare le relazioni ingresso/uscita di reti elettriche resistive e dinamiche, anche in presenza di componenti attivi.

Read More…

Fisica 2

In questo articolo potrete trovare tutta una serie di compiti e spiegazioni teoriche per quanto riguarda il corso di Fisica 2  presso la facoltà di Ingegneria dell’Università di Firenze

Read More…

Misure Elettriche

Corso tenuto dal Prof Carobbi Carlo .

Il testo di riferimento è :

  • A.Zanobini, S.Giovannetti –  Incertezza di Misura e Acquisizione di Segnali - Esculapio Editore – Bologna

Read More…

Fondamenti di Informatica 1

Corso tenuto dal Prof Vicario Enrico. Strutturato nel seguente modo:

  • Parte 1 : Introduzione
  • Parte 2 : Linguaggio C
  • Parte 3 : Strutture Dati
  • Parte 4 : Algoritmi e Complessità

Read More…

Calcolo Numerico

Programma generico di calcolo numerico :

  • Analisi dell’errore
  • Sistemi lineari
  • Equazioni non lineari
  • Interpolazione e Approssimazione
Next Posts

Copyright © 2018  Simone Ercoli  All Rights Reserved.