1. Методология императивного программирования.

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

Основное синтаксическое понятие – оператор (атомарные и структурные). Средство структурирования – подпрограмма.

Методы: метод изменения состояния вычислителя и метод управления потоком исполнения.

Языки: Fortran, Algol, Pascal, C и др.

Класс задач: задачи, в которых последовательное выполнение команд является естественным, например, управление современными аппаратными средствами.

2. Методология ООП.

Основана на методах объектно-ориентированной декомпозиции (концепции инкапсуляции, наследования и полиморфизма), абстрактных типах данных, пересылке сообщений. Статическая структура системы описывается в терминах объектов и связей между ними, а поведение системы – в терминах обмена сообщениями между объектами. Одно из основных понятий – класс.

Класс описывает структуру и функционирование множества объектов с подобными характеристиками, атрибутами и поведением.

Средство структурирования: класс.

Языки: Симула, Java, C++, Delphi (Object Pascal), C#.

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

3. Методология функционального программирования.

Основана на методах аппликативности рекурсивного поведения, настраиваемости. Это способ составления программ, в котором единственным действием является вызов функции, способ расчленения программ на части заданием функций (имя и выражение). Правила композиции – оператор суперпозиции функции. Константами в λ-исчислении могут быть числа, кортежи, списки, имена предопределенных функций и т.п.

Языки: LISP, РЕФАЛ, ML, VIRANDA.

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

4. Методология логического программирования.

Программа содержит описание проблемы в терминах фактов и логических формул, а решение проблемы система выполняет с помощью методов логического вывода. Методология основана на методах единообразного применения механизма логического доказательства ко всей программе, методе унификации, методе резолюции. Логическое программирование допускает естественную параллельную реализацию (распараллеливание задач).

Языки: Prolog, Леаф (leaf), Mercury.

5. Методология программирования в ограничениях.

Это подход, основанный на методе описательной модели вычислений, в котором в программе определяется тип данных решения, предметная область решения и ограничения на значения искомого решения. Оно находится системой самостоятельно.

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

Пример: поиск методом отсеивания.

Языки: IDEAL, OPL, УТОПИСТ (универсальные текстовые описания терминов).