Цитаты из книг автора «Роберт Мартин»

Готовность к изменениям важнее следования первоначальному плану.

Сотрудничество с заказчиком важнее согласования условий контракта.

Работающий продукт важнее исчерпывающей документации.

Люди и взаимодействие важнее процессов и инструментов.

разработка программного обеспечения напоминает науку, и поэтому в ней применяется правило опровергающих доказательств.

Иными словами, тестированием можно доказать неправильность программы, но нельзя доказать ее правильность. Все, что дает тестирование после приложения достаточных усилий, – это уверенность, что программа действует достаточно правильно

тестированием можно доказать неправильность программы, но нельзя доказать ее правильность. Все, что дает тестирование после приложения достаточных усилий, – это уверенность, что программа действует достаточно правильно

Подводя итог, можно сказать, что математика – это дисциплина доказательства истинности утверждений, требующих доказательства. Наука, напротив, – дисциплина доказательства ложности утверждений, требующих доказательства.

любую программу можно написать, используя всего три структуры: последовательность, выбор и итерации. Это было важное открытие: управляющие структуры, делающие доказуемой правильность модуля, в точности совпадали с набором структур, минимально необходимым для написания любой программы. Так родилось структурное программирование.

В качестве решения Дейкстра предложил применять математический аппарат . Оно заключалось в построении евклидовой иерархии постулатов, теорем, следствий и лемм. Дейкстра полагал, что программисты смогут использовать эту иерархию подобно математикам. Иными словами, программисты должны использовать проверенные структуры и связывать их с кодом, в правильности которого они хотели бы убедиться.