Если отладка — процесс удаления ошибок, то программирование должно быть процессом их внесения.
Э́дсгер Ви́бе Де́йкстра — нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений. Тьюринговский лауреат (1972).
Род деятельности:
ученый
Дата рождения:
11.05.1930
Дата смерти:
06.08.2002 (72)
Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.
Вопрос о том, может ли компьютер думать, не более интересен, чем вопрос о том, может ли субмарина плавать.
Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.
Средства не виноваты в том, что их безграмотно используют.
Студентов, ранее изучавших Бейсик, практически невозможно обучить хорошему программированию. Как потенциальные программисты они подверглись необратимой умственной деградации.
Проекты, предлагающие программирование на естественном языке, гибельны по своей сути.
Программирование на КОБОЛе калечит мозг, поэтому обучение ему должно трактоваться как преступление.
На любом языке можно написать фортрановскую программу.
Нет вашей любимой цитаты из "Эдсгер Вибе Дейкстра"? Добавить цитату