Cтраница 2
Иногда вычислительная машина используется просто как обыкновенная, хотя довольно сложная, игрушка, на которой вполне можно применять метод проб и ошибок, поскольку последствия от ошибок в программах не приводят к значительным неприятностям. Однако в последнее время машины все чаще начинают действовать там, где последствия какой-либо ошибки оказываются весьма серьезными. В таких случаях отсутствие систематической методологии программирования не только безответственно, но и просто опасно. Нам не нужны инженеры, которые строят редко разрушающиеся здания, обходимся мы и без бухгалтеров, баланс у которых, как правило, сходится, по той же причине не нуждаемся мы и в программистах, программы которых время от времени выдают неправильные результаты. [16]
Мне особенно приятно доложить этому собранию, что Тони Хоар недавно согласился принять кафедру вычислений в Оксфордском университете, которая освободилась после того, как умер Стречи. Это назначение открывает новые возможности для сотрудничества как с Хоаром, так и с теми студентами, которых он привлечет в свою группу, как тблько займет этот пост в будущем году. Как вы понимаете, практическим аспектам использования и создания компьютерных языков и методологии программирования в Оксфорде будет придаваться особое значение ( что делал и Стречи), и это действительно пойдет на пользу всем; я надеюсь, что открываются и новые прекрасные возможности для теоретических исследований. [17]
Внутреннее проектирование определяет, как изделие должно функционировать. Модули, подпрограммы, оверлейные структуры, динамические таблицы, блок-схемы и таблицы решений являются строительным материалом при внутреннем проектировании. Методы корректного внутреннего проектирования и управления этим процессом составляют целый раздел техники программного обеспечения - методологию программирования, являющуюся вполне законченной дисциплиной. Во всяком случае, этот вопрос является чисто техническим и выходит за рамки тематики этой книги. [18]
Во-первых, вообще, изучение программирования как деятельности сильно отстает от изучения программирования как совокупности алгоритмических, языковых и конструкторских средств решения задач на ЭВМ. Мы больше говорим о программных структурах как таковых, нежели о способах и путях их актуализации. Положение, надо сказать, начинает меняться в последние годы, и то, что называют методологией программирования, все в большей степени делает предметом изучения процесс программирования. [19]
Не все документы, относящиеся к изделию ASK, охвачены примерами. На это есть две причины. Во-первых, некоторые документы чаще всего используются при внутреннем проектировании или программировании, так как документирование и управление программированием и отладкой настолько тесно связаны с методологией корректного программирования, что их следует рассматривать в специальных монографиях, а не в этой книге. Во-вторых, существуют документы, которые лишь весьма поверхностно касаются основного предмета книги, поскольку они связаны прежде всего с торговыми и финансовыми операциями. [20]
Преподаватели логического программирования соглашаются, как правило, в том, что логику более легко воспринимают те, у кого нет предшествующего опыта вычислений на машине, чем те, которые уже привыкли к традиционным формальным системам программирования. Того, кто в течение десяти лет программировал с помощью такого формализма при поддержке хорошо знакомого обеспечения и с ожиданием определенных стандартов, потребуется, видимо, долго убеждать в том, что логика, находящаяся все еще на сравнительно ранней стадии развития, предлагает довольно заманчивую альтернативу. Разумеется, нельзя ожидать - или даже желать - чтобы обращение в другую веру состоялось сразу же вслед за демонстрацией хорошо подобранных примеров, которые тонко показывают в выгодном свете такие фантастические возможности, как получение многочисленных решений или свойство обратимости. Более общие принципы методологии программирования, важность приложений, связанных с базами знаний, и соответствующая эксплуатация грядущего нового поколения архитектур вычислительных машин - вот те действительные проблемы, которые следует использовать для мотивировки интереса к логике, и все эти проблемы, где необходимо, нужно довести до сознания при помощи надлежащей подготовки и образовательных программ. До сих пор, однако, имеется слишком мало доступной литературы, написанной специально для того, чтобы помочь работающим профессиональным программистам по достоинству оценить логику. [21]
Ваши сверстники, возможно, изучали методологию программирования, называемую структурным программированием. Мы определенно предвидим, что объектно-ориентированный подход будет ключевой методологией программирования во второй половине 90 - х годов. [22]
Процессор i432, подобно этим ранним архитектурам, также базируется на семантической модели структуры программы. Однако в отличие от своих предшественников i432 не основывается на модели некоторого конкретного языка программирования. Основная особенность архитектуры 1432 заключается в том, что оба этих требования могут быть удовлетворены с использованием общей семантической модели, известной как модель объекта. В данном разделе мы объясним концепцию абстрактных данных, рассмотрев для этого объектно-ориентированную методологию программирования, а также рассмотрим связанные с этим принципы проектирования объектно-базированных операционных систем. [23]
Было бы неверным сейчас создать ложное впечатление о том, что логика освобождает программиста от прагматических соображений. В реальных приложениях с целью достижения приемлемой эффективности исполнения программы часто бывает необходимо структурировать входные предложения, должным образом учитывая дедуктивную стратегию интерпретатора и конкретный вид поставленного запроса. Программисту поэтому требуется, как правило, думать и об алгоритмических и о дескриптивных свойствах создаваемых им программ. На протяжении всей этой книги мы будем уделять особое внимание этому соображению, а также влиянию, которое оно оказывает на методологию программирования и более широкие проблемы, связанные с разработкой программного обеспечения. [24]
В статье Аксиоматическая основа программирования для вычислительных машин [2] Хоар продемонстрировал, что программы поддаются точному анализу, основанному на строгих математических рассуждениях. В этих работах убедительно показано, что можно избежать многих ошибок, традиционных для программистов, если последние будут осмысленно пользоваться методами и приемами, которые раньше они применяли интуитивно, часто не осознавая их как таковые. При этом основное внимание уделяется построению и анализу программ, а более точно - структуре алгоритмов, представляемых текстом программы. Причем совершенно очевидно, что систематический и научный подход прежде всего применим к большим, комплексным программам, работающим со сложными данными. Таким образом, методология программирования должна включать все аспекты строения данных. [25]