Методы и средства инженерии программного обеспечения

       

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


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

Алгебраисты использовали алгебраический математический аппарат для  объяснения  действий над объектами программ, выполнения математических  операций над их элементами и   принципов обработки,  исходя из базовых основ  алгебры – алгебраическое программирование, алгоритмика и др.

К настоящему времени разработаны теоретические методы с участием украинских ученых для теоретического представления ключевых проблем программирования – алгебраическое программирование  (Летичевский А.А. и др.) [31–34]; 

Экспликативное  программирование (Редько В.Н.) определяет теорию дескриптивных и декларативных программных формализмов для адекватного задания моделей структур данных, программ и средств их  конструирования. Создана  программология – наука о  программах, которая объединяет идеи логики, конструктивной  математики и информатики и на  единой концептуальной основе предоставляет общий формальный аппарат  конструирования программ [35–39].  

Алгебра алгоритмики (Цейтлин Г.Е.) обеспечивает построение алгоритмов в виде схем, задаваемых графами, элементами которых являются конструкции, производные от структурных конструкций.  К операциям алгебры относится суперпозиция, свертка, развертка, а также операции над множествами [40–42].           

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

 



Содержание раздела