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…

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…

Calcolo Numerico

Programma generico di calcolo numerico :

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

Analisi Matematica 2

Vengono riportati in questo articolo tutta una serie di appunti per il corso di Analisi Matematica 2 presso la facoltà di Ingegneria dell’Università degli Studi di Firenze .

Programma riassuntivo :

  • Numeri complessi
  • Funzioni reali di più variabili reali
  • Forme differenziali e campi vettoriali
  • Integrali multipli 
  • Integrali curvilinei 
  • Equazioni differenziali ordinarie

Copyright © 2018  Simone Ercoli  All Rights Reserved.