Структурированная программа

Cтраница 2

В главе 5 объясняется, как разрабатывать структурированную программу методом, называемым пошаговой детализацией. Главы 6 - 8 написаны по одной и той же схеме. Каждая из них посвящена применению принципов структурного программирования к конкретному языку. Если вам необходимо овладеть структурным программированием на столь детальном уровне, то следует выбрать для изучения лишь одну из этих глав, посвященную соответствующему языку. [16]

Макроассемблера версии 2: он позволяет Вам разрабатывать структурированные программы на языке ассемблера. Под структурированной мы понимаем программу, содержащую операторы высокого уровня, подобные операторам IF-THEN и FOR-NEXT в Бейсике. [17]

Правила формирования структурированных программ.| Простейшая блок-схема. [18]

На рис. 2.33 приведены правила формирования должным образом структурированных программ. Эти правила предполагают, что символ прямоугольника на блок-схеме может использоваться для того, чтобы указать любые действия, включая ввод и вывод информации. [19]

В настоящей главе излагается функциональный подход к написанию структурированных программ. Пошаговая реорганизация представляет собой процесс, посредством которого любая программа независимо от размера вначале проектируется таким образом, чтобы управление осуществлялось с помощью условий правильности, далее с целью повышения эффективности программы производится ее пошаговая реорганизация с получением на каждом шаге эквивалентного отображения программы предыдущего шага. В приведенных в настоящей книге примерах условия правильности представлены в словесной форме в виде вопросов правильности либо выражены в более систематизированной форме - как трассировочные таблицы или формализованные аргументы. И наконец, в данной главе иллюстрируются концепции проектирования структурированных программ путем сравнения процессов детализации и проектирования, а также эвристических и строгих методов построения программ. [20]

Таким образом, алгебра структурированных программ позволяет рассматривать структурированную программу любой сложности как составное программное выражение над меньшими структурированными программами, а любое сложное программное выражение - как одно выражение, если это, конечно, удобно. [21]

В этой главе разрабатываются теоретико-функциональные основы доказательства правильности ( корректности) структурированных программ. Вообще корректные взаимосвязи элементов программы чрезвычайно важны, во-первых, во время чтения преграммы, когда необходима правильная ее интерпретация, во-вторых, когда при разработке программы стремятся достичь точного написания, в-третьих, когда на этапе испытания программы устанавливают правильность выполнения ею соответствующей функции. [22]

Покажите, что повторное применение проектирования из упражнения 4 приводит к структурированной программе, где первоначальный цикл со счетчиком /, замещается вложенными циклами с новыми счетчиками, значения которых могут быть записаны в общем стеке. [23]

Таким образом, большие структурированные программы формируются из меньших программ, а небольшие структурированные программы могут использоваться для построения сложных программ. Анализ элементарных программ и их преобразование, обсуждаемые в предыдущей главе, были основаны на этой аксиоме. В этой и последующих главах данная аксиома используется для получения принципов чтения, доказательства правильности и написания программ. [24]

Использование на каждом уровне детализации только стандартных структурированных схем обеспечивает тем самым получение структурированной программы, содержащей только вложенные друг в друга и стандартно объединенные фрагменты модуля. При этом главной является не техническая сторона структурного программирования ( запись алгоритма с использованием только стандартных структур), а применение крупных алгоритмических операторов и данных, разбиваемых в ходе дальнейшей разработки на все более мелкие составные части. То есть можно сказать что речь идет, по существу о необходимости освоения специального структурированно-нисходящего мышления для проектирования программ. [25]

Алгебра структурированных программ является мощным средством для чтения, написания и доказательства правильности структурированных программ. Она позволяет программисту путем логического преобразования справляться со сложной логикой обработки данных. Точно так же школьник методически выполняет преобразование сложных для него арифметических выражений. Алгебра дает возможность программисту представить функционирование программы в целом, а не только ход ее выполнения для конкретных данных. [26]

Во второй главе мы обсудим шесть оставшихся управляющих структур и объясним, как формировать структурированные программы путем объединения управляющих структур с различными операторами действий. Мы обнаружим, что для формирования любой мыслимой программы на C необходимы только три разных типа управляющих структур и только два различных способа их комбинирования. В конце второй главы мы продолжим наше первоначальное знакомство с объектной ориентацией, определяя объекты, которые будут необходимы для разработки систем реального мира. [27]

Такие конструкции в отличие от отдельных функций и предикатов выступают в качестве примитивов при проектировании структурированных программ. При работе на уровне этих примитивов соответствующие функции и предикаты не просто соединяются тем или иным путем, а естественным образом объединяются в результирующую структурированную программу с некоторой последующей перестройкой. [28]

Одним из самых ценных качеств Макроассемблера версии 2 является то, что он позволяет Вам писать структурированные программы на языке ассемблера. [29]

Большинство работ по структурному программированию, основываясь на методе разработки программы, утверждает, что доказательство корректности структурированных программ более простое. [30]

Страницы: 1 2 3 4