Происхождение и методы методологии императивного программирования. Возможности применения методологии объектно-ориентированного программирования. Назначение методологий функционального, логического, сентенциального и ограничительного программирования.
Аннотация к работе
Программирование и отладка больших программ, написанных на основе данной методологии, может затянуться на долгие годы.Методология объектно-ориентированного программирования Методология объектно-ориентированного программирования - подход, использующий объектную декомпозицию, при которой статическая структура системы описывается в терминах объектов и связей между ними, а поведение системы - в терминах обмена сообщениями между объектами. Метод поддерживается концепцией сообщения.Методология объектно-ориентированного программирования Вычислительная модель. Особенно удобно и легко в объектах выразить взаимодействие между различными элементами графического интерфейса пользователя.Методология функционального программирования Методология функционального программирования - подход, согласно которому в программах единственным действием является вызов функции, единственным способом разделения программы на части - введение имени для функции и задание для этого имени выражения, вычисляющего значение функции, а единственным правилом композиции - оператор суперпозиции функции. Это такие задачи, как обработка естественного языка, экспертные консультирующие системы, проблемы зрительного восприятия, и многие другие.Методология логического программирования Методология логического программирования - подход, согласно которому программа содержит описание проблемы в терминах фактов и логических формул, а решение проблемы находится с помощью механизмов логического вывода. Класс задач сентенциального программирования практически совпадает с классом задач методологии функционального и логического программирования, хотя в большей степени ориентирован на символьные преобразования.Методология ограничительного программирования Методология ограничительного программирования - подход, согласно которому в программе определяется тип данных решения, ПРО решения и ограничения на значение искомого решения; решение находится системой.