Эдсгер Вибе Дейкстра: Программа

Эдсгер Вибе Дейкстра было нидерландский учёный. Откройте для себя интересные цитаты о программа.
Эдсгер Вибе Дейкстра: 79   цитат 8   Нравится

„Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.“

Эдсгер Вибе Дейкстра
Об ошибках

„На любом языке можно написать фортрановскую программу.“

Эдсгер Вибе Дейкстра

„Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.“

Эдсгер Вибе Дейкстра
О доверии , О решении

„Тестирование программ может оказать наличие ошибок, но никогда не покажет их отсутствие.“

Эдсгер Вибе Дейкстра
Об ошибках