Функциональное программирование

Функциональное программирование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).

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

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

Функциональная спецификация: формальное описание, которое объясняет, что и как будет делать программа. Она достаточно детально показывает строение всех модулей и их взаимодействие с учетом проектных ограничений. Спецификация невозможна без четкого описания структур данных программы. Первоисточником для разработки функциональных спецификаций является Техническое задание. В этом документе описываются требования к программному продукту.

На втором уровне может быть разработан концептуальный документ, описывающий Архитектуру системы. Эта спецификация показывает функционирование всей системы в целом, не детализируя устройство отдельных модулей. Она представляет структуру объектов и их зависимости.
45) Логическое программирование

В связи с бурным ростом объемов информации все более актуальной становится задача эффективного информационного обеспечения научных, производственных процессов и процессов принятия решений. В настоящее время наблюдается бум создания информационных систем (ИС).

Формальные методы синтеза ИС по ее спецификации позволяют получать различные сборки ИС в соответствии с требованиями заказчика и обеспечивают оперативность модификации ИС на всех этапах ее жизненнего цикла, особенно на этапе проектирования ИС, когда цена ошибки особенно велика.

В связи с этим в проекте ставится задача разработки формальных языков и методов спецификации, анализа и синтеза ИС. Исследования будут вестись по пяти основным направлениям: логическое, онтологическое, экстралингвистическое, формально-языковое и экспериментальное.

В рамках логического направления предполагается исследовать возможности применения различных логических формализмов (логик) к задачам спецификации, анализа и синтеза ИС. Главная задача в рамках этого направления состоит в исследовании синергетики комбинированных логических формализмов для более полного и эффективного решения задач спецификации, анализа и синтеза ИС.

Дата добавления: 2015-08-13