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…

Seminario XML

Standard Documentali XML

Seminario tenuto dall’ ing. Enrico Francesconi (Istituto di Teoria e Tecniche dell’Informazione Giuridica)

Introduzione all’XML

XML è stato progettato per descrivere dati e per focalizzare l’attenzione su di essi.

HTML è stato progettato per mostrare dati e per concentrare l’attenzione sulla loro esposizione.

Read More…

Seminario Object Relational

Progettazione e Sviluppo dello strato di Adattamento Object-Relational di un’Applicazione

Seminario tenuto dal dott. ing. Sandrucci

  • Obiettivi
    Realizzare un’applicazione che accede ad una base di dati
    La base di dati conterrà informazioni idrometriche
    Realizzare uno strumento per il Mapping O/R
  • Vincoli
    La nuova applicazione deve essere compatibile con i vecchi dati
    La base di dati vecchia esiste in due versioni
    Database relazionale
    Sistema di Legacy (file ASCII)
  • Parleremo di
    Layering
    Basi di dati relazionali
    Modelli ad oggetti
    Mapping O/R

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…

JMSWeb 3 project

Some lines from documentation linked at the end of this article :

Introduction :
The described system is a project realized to understand theoretical concepts  introduced during the courses named “Tecnologie del Software per Internet” and “Basi di Dati”.

This work shows a real and useful example replacing the concepts introduced by the course “Programmatore per Applicazioni Web”.

 

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…

Next Posts

Copyright © 2018  Simone Ercoli  All Rights Reserved.