В статье анализируются основы структурного программирования и история возникновения этого направления. На примере двух крупных проектов (New York Times и NASA Skylab) делается вывод о высокой эффективности и большом потенциале структурного программирования. Будущее развития этого направления автор видит прежде всего во внедрении доказательного программирования, основанного на идеях математического доказательства корректности создаваемых программ. Отказ от ставшей уже традиционной покомпонентной отладки и тестирования и переход на рельсы функциональной верификации поможет, по мнению автора, добиться гораздо более высокого качества и необходимого уровня надежности сложных программных систем.