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


Экспликативное программирование (ЭП)


ЭП ориентировано на  разработку теории дескриптивных и декларативных программных формализмов, адекватных моделям структур данных, программ и средств конструирования из них программ  [35–39]. Для этих структур решены проблемы существования, единства и эффективности. Теоретическую основу ЭП составляет  логика, конструктивная математика, информатика, композиционное программирование и  классическая теории алгоритмов. Для    изображения алгоритмов программ  используются разные алгоритмические языки и методы программирования: функциональное, логическое,  структурное,  денотационное и др.

К принципам ЭП  относятся.

– принцип развития определения понятия программы  в  абстрактном представлении и постепенной ее конкретизации с помощью экспликаций.

– принцип прагматичности   или полезности определения понятия программы выполняется с точки зрения понятия "проблема"  и ориентирован на  решение  задач  пользователя.

– принцип адекватности ориентирован на абстрактное построение программ и  решение проблемы с учетом информационности данных и  апликативности,  т.е.   рассмотрение программы, как функции,  вырабатывающей  выходные данные на основе входных данных.  Функция является  объектом, которому сопоставляется денотат имени функции с помощью отношения  именования

(номинации).

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

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

Таким образом,  процесс  развития  программы осуществляется в виде  цепочки понятий: данные – функция – имя функции – композиция – дескрипция. Понятия "данные – функция – композиция" задают  семантический аспект программы, а "данные – имя функции – дескрипция" – синтаксический аспект.


- Начало -  - Назад -  - Вперед -