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…

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…

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

Analisi Matematica 1

Appunti relativi al corso di Analisi 1 presso l‘Università di Firenze .

Per quanto riguarda il testo di riferimento, consiglio M. Bramanti, C. Pagani, S. Salsa: Matematica – Calcolo infinitesimale e algebra lineare, Zanichelli, Bologna, 2004.

Read More…

Copyright © 2018  Simone Ercoli  All Rights Reserved.