Il test di un programma può essere usato per mostrare la presenza di bug, ma mai per mostrare la loro assenza.
Non verificata
Il test di un programma può essere usato per mostrare la presenza di bug, ma mai per mostrare la loro assenza.
Edsger Wybe Dijkstra è stato un informatico olandese. I suoi più importanti contributi all'informatica sono stati il cosiddetto "algoritmo di Dijkstra" e il concetto informatico di "semaforo". Dijkstra era noto per le sue opinioni schiette riguardo la programmazione, e per la sua abitudine di comporre attentamente dei manoscritti con la sua penna stilografica.