Анотація до роботи:

Крамар Ю.М. Методи та інформаційно-програмні засоби синтезу та аналізу стилів програмування. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - Автоматизовані системи управління і прогресивні інформаційні технології. - Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова, Київ, 2005.

Дисертаційна робота присвячена проблемі вирішення задач формування і застосування стилів програмування шляхом розробки і використання методів і комплексу інформаційно-програмних засобів, спрямованих на автоматизацію застосування стилю програмування. Запропоновано онтологію понять і відношень, пов'язаних із застосуванням стилів програмування, формальне представлення якої дозволяє розглядати задачі формування і застосування стилів програмування як такі, що можуть мати технічний розв'язок. Визначено задачі формування і застосування стилю програмування та запропоновано методи для вирішення визначених задач. Розроблено математичні моделі пристроїв для реалізації алгоритмів та процедур, що пов’язані із застосуванням запропонованих методів. Реалізовано комплекс інформаційно-програмних засобів для автоматизації вирішення задач формування і застосування стилів програмування в різних галузях діяльності, що пов'язана з програмуванням (розробка і дослідження ПЗ, навчання програмуванню). Розроблено інформаційну технологію для використання в навчанні. Експериментальним шляхом доведено працездатність інформаційно-програмних засобів в рамках технології для процесів навчання.

Науковою задачею, вирішеною в дисертаційній роботі, є розробка методів і інформаційно-програмних засобів, що забезпечують формування і застосування стилів програмування.

При вирішенні задачі отримано такі основні результати:

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

2. Вперше визначено задачі формування і застосування стилів програмування: створення стилю програмування та стилю мови програмування, перевірки дотримання стилю програмування при написанні програм, визначення стилю програмування, якому відповідає текст програми, перекладу тексту програми, що не відповідає заданому стилю програмування, у текст що відповідає такому стилю. Комплексне і послідовне рішення цих задач складає основу інформаційної технології, що є новим засобом індустріалізації програмування.

3. Запропоновано методи для вирішення задач формування і застосування стилів програмування: синтез стилю програмування і стилю мови програмування, контроль, аналіз і перетворення стилю програми; розроблено моделі засобів, що автоматизують вирішення задач запропонованими методами.

4. Розроблено архітектуру комплексу інформаційно-програмних засобів для автоматизованого вирішення задач формування і застосування стилів програмування, що включає інформаційну та програмну частину. Інформаційна частина складається з БД правил стилів програмування та стилів мови програмування та БД певного стилю мови програмування, програмна частина комплексу – із засобів, що забезпечують оперування БД та виконання синтезу стилю мови програмування, контролю, аналізу і перетворення стилю програми.

5. Запропоновано спосіб вирішення задач формування і застосування стилів програмування в різних областях діяльності, пов'язаної з програмуванням (розробка ПЗ, дослідження ПЗ, навчання програмуванню), шляхом використання інформаційних технологій на основі розроблених засобів; як приклад його застосування розроблено інформаційну технологію для використання в навчанні; експериментальним шляхом доведена працездатність створених інформаційно-програмних засобів технології в процесах навчання. Розроблені методи і засоби впроваджено в навчальний процес (Національний авіаційний університет) та практично використовуються при розробці програмного забезпечення (Інститут програмних систем НАНУ).

Публікації автора:

1. Крамар Ю.М. Схема систематизации и представление правил стилей программирования // Проблемы программирования: Материалы третьей международной научно-практической конференции по программированию «УкрПРОГ2002». Спец. вып. – 2002. - № 1-2. - С. 127 – 130.

   Крамар Ю.М. Автоматизация решения задач стилистики программирования // Проблеми інформатизації та управління: Зб. наук. пр. – К.: НАУ, 2002. – Вип. 5. – С. 211-215.

   Крамар Ю.М. Средства для автоматизированного синтеза стилей программирования // Вестник НАУ. – 2002. - №2 (13). – С. 52 - 60.

   Крамар Ю.М., Сидоров М.О. Стили программирования и фазы жизненного цикла программного обеспечения // Проблеми інформатизації та управління: Зб. наук. пр.: вип. 6. – К.: НАУ, 2002. – С. 235-237.

   Крамар Ю.М. Автоматизация процесса контроля применения стиля языка программирования // Проблемы программирования: Материалы четвертой международной научно-практической конференции по программированию «УкрПРОГ2004». Спец. вып. – 2004. - № 2-3. - С. 208-214.

   Крамар Ю.М. Контроль применения стиля программирования // Матеріали VI Міжнародної науково-технічної конференції „АВІА-2004”. Т. 2. Інформаційно-діагностичні системи. – К.: НАУ, 2004. – С. 15.15-15.18.

   Крамар Ю.М., Сидоров М.О., Калугін К.А., Кидалов А.А. Оценка стиля написания программ // II Всеукраїнська молодіжна науково-практична конференція з міжнародною участю “Людина і космос”: Зб. тез. – Дніпропетровськ: НЦАОМУ, 2000. – С. 285.

   Крамар Ю.М. Нормы и правила стилистики программирования // Наука і молодь: Матеріали міжнародної наукової конференції: Зб. тез. – К.: НАУ, 2001. – С. 80.

   Крамар Ю. М. Стилистика языков программирования // III Всеукраїнська молодіжна науково-практична конференція з міжнародною участю “Людина і космос”: Зб. тез. – Дніпропетровськ: НЦАОМУ, 2001. – С. 323.