Un caso storico di malfunzionamento in una macchina per radioterapia.
Un video con esempi di malfunzionamenti nell'interfaccia di apparecchiature mediche.
ARIANE 5 Flight 501 failure, Inquiry Board Report, 1996.
Due documenti sull'incidente del missile Ariane 5.
MISRA-C:2004 --- Guidelines for the use of the C language in critical systems, Motor Industry Software Reliability Association, 2004.
Due standard per la programmazione di software dependable.
Una critica feroce di molti concetti dati per scontati, compreso quello di "ingegneria del software". L'idea fondamentale è che un programma deve essere visto, sviluppato e dimostrato come una formula matematica. Da leggere.
"... any programmer can learn to tell a program from an automobile".
L'articolo che introduce il concetto di information hiding.
Una critica di alcuni pregiudizi, sia positivi che negativi, sull'uso dei metodi formali.
Introduzione all'ingegneria del software, orientata all'affidabilità di sistemi di informazione e controllo.
Con materiale su metodi orientati agli oggetti e metodi formali.
Esempio di applicazione di alcune tecniche di testing su un sistema complesso.
Regole per scrivere bene i programmi, in qualsiasi linguaggio. Gli autori sono dei veri guru.
Una presentazione sullo Hierarchical Data Format, per memorizzare dati complessi, orientato ad applicazioni tecniche e scientifiche.
Un dimostratore di teoremi interattivo.
Uno strumento per modellare e simulare sistemi, basato su un'estensione delle reti di Petri.
Un linguaggio per definire infrastrutture di testing.