Журнал Компьютерра - 29 от 15 августа 2006 года   ::   Компьютерра

Это самое «всё» по минимуму означало автоматизированную проверку корректности (формальная верификация программ, ключевые имена — Хоар и Дийкстра), а по максимуму в идеале — пресловутый Искусственный Интеллект (ключевые имена — от Алана Тьюринга и далее — легион), где человек уже не«решает задачи с помощью компьютера», а лишь «ставит задачи», а вопросы о достижимости и корректности результата являются самоприменимыми (то есть можно поставить компьютеру задачу «определи, можно ли получить решение задачи Х»). По причинам достаточно сложным и неплохо изученным «счастья для всех и даром» не наступило, и дальнейшие поиски «silver bullet» стали концентрироваться на частных решениях. Да и по сию пору концентрируются.

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

Взять мертвую линию



["Мертвая линия", или «линия смерти» — deadline. Так буржуи называют время, к которому кровь из носу надо закончить некую задачу]

Предположим, мы начинаем амбициозный софтверный проект. Что нужно, чтобы быть уверенным в том, что проект будет успешно завершен? Ответ здесь зависит от того, кто такие «мы» — маленький стартап из трех студентов или большой Мicrosoft? [Это, естественно, крайности — зато удобные для иллюстрирования точки зрения] В первом случае «успешно завершен» означает «мы допишем его до того, как нам надоест, и сделаем все настолько cool, чтобы разом уесть всех возможных конкурентов»; во втором — «проект не завалится под собственной тяжестью и будет закончен хоть когда-нибудь».