Уперше запропоновано онтологію понять і відношень у аспекті вибору стилів програмування. Для формального представлення онтології використано комп'ютерний підхід шляхом застосування мови UML, який дає змогу розглядати задачі формування та використання стилів програмування, що можуть мати технічний розв'язок. Визначено задачі, що охоплюють усі досліджені аспекти, комплексне та послідовне розв'язання яких складає основу інформаційної технології як нового засобу індустріалізації програмування у контексті розглянутої проблеми, а саме: створення стилю програмування та стилю мови програмування, перевірки дотримання стилю програмування під час написання програм; визначення стилю програмування, якому відповідає текст програми; перекладу тексту програми, що не відповідає заданому стилю програмування, у текст, що відповідає такому стилю. Створено та описано методи розв'язання визначених задач, зокрема, методи синтезу стилю програмування та стилю мови програмування, контролю, аналізу та перетворення стилю програми. Наведено засоби формування та застосування стилів програмування, розроблено їх математичні моделі. Запропоновано спосіб використання розробленого комплексу засобів шляхом створення відповідних інформаційних технологій формування та застосування стилів програмування для різних галузей, в яких відбуваються процеси розробки програмних засобів. На прикладі навчання програмуванню розроблено інформаційну технологію та показано ефективність запропонованих засобів шляхом експериментальних досліджень.

  Завантажити