Libri di Informatica, ingegneria

Scopo del volume è di fornire i fondamenti della cultura informatica a chi si accosti per la prima volta in modo sistematico alla scienza dei calcolatori. Il testo presenta un repertorio selezionato di argomenti: il concetto astratto di calcolatore, la rappresentazione delle informazioni, la struttura hardware e il funzionamento di un sistema di elaborazione, i linguaggi di programmazione e le metodologie di sviluppo del software, le reti di calcolatori e Internet, la teoria della computabilità. Il volume è destinato specificamente al primo modulo di informatica dei corsi di laurea della Facoltà di Ingegneria, ma può essere utilizzato anche in altre facoltà, sia ad indirizzo scientifico che umanistico. Giovanni Guida è professore ordinario di Fondamenti di informatica, Ingegneria della conoscenza e Gestione dei sistemi informativi aziendali presso la Facoltà di Ingegneria dell’Università di Brescia. Massimiliano Giacomin è ricercatore e docente di “Calcolatori elettronici” presso la Facoltà di Ingegneria dell’Università di Brescia.

Una banca che commissiona un sistema-software impone, al produttore, un requisito di affidabilità e fissa una penale per il mancato rispetto di questo. Una casa automobilistica che commissiona un sistema-software, oltre che l’affidabilità, impone un requisito di safety, cioè di sicurezza. Ma come deve operare il produttore di un sistema-software perché, alla consegna, il sistema non infranga il requisito di affidabilità e, ancor più, quello di safety?