Говоров Максим Игоревич

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

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