№ 1.
з 01.02.2016
по 31.12..2016
|
Формування змісту бібліотеки алгоритмів комп’ютерної алгебри статичного аналізу програм та побудова її інсерційної моделі
|
1. Бібліографія наукових робіт з теми «Алгоритми комп’ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення».2. Огляд існуючих систем статичного аналізу програм.3. Функціональні вимоги до web-ресурсу «Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення»Науково-технічний звіт за етап.Публікації у вітчизняних, фахових виданнях та журналах, що входять до науково-метричних баз Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);Публікації у матеріалах конференцій, що входять до наукометричних баз даних Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);Захист магістерських робіт
|
Сформовано зміст бібліотеки алгоритмів комп’ютерної алгебри статичного аналізу програм.Проведено дослідження існуючих спеціалізованих систем статичного аналізу програм.Визначено функціональні вимоги та спроектовано структуру Web-ресурсу предметної області та наукової групи в цілях міжнародного наукового співробітництва.Підготовлено Науково-технічний звіт за етап.12 публікацій:3 публікації у вітчизняних виданнях;4 публікації у фахових виданнях;2 публікації в матеріалах конференцій, що входять до наукометричних баз даних;3 публікацій, що входить до наукометричних баз даних.Захищено 4 магістерські роботи.
|
2З 01.01.17 –по 31.12.17
|
Формування вимог до системи верифікації формальних моделей програм
|
1. Функціональні вимоги до системи верифікації формальних моделей програм2. Алгоритм побудови канонічної форми лінійних напівалгебраїчних множин та його інсерційна модельАлгоритми статичного аналізу лінійних програм.3. Структура та архітектура веб-ресурсу предметної області та наукової групи в цілях міжнародного наукового співробітництва3. Прототип Web-ресурсу «Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення» Науково-технічний звіт за етап.Публікації у вітчизняних, фахових виданнях та журналах, що входять до науково-метричних баз Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);Публікації у матеріалах конференцій, що входять до наукометричних баз даних Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);Захист магістерських робіт- Захист кандидатської дисертації
|
Вимоги до системи верифікації формальнихмоделей програм. Алгоритм побудови канонічної форми лінійних напівалгебраїчних множин та його інсерційна модельАлгоритми статичного аналізу лінійних програм.Прототип Web-ресурсу «Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення» Науково-технічний звіт за етап.20 публікацій:- 4 публікації у вітчизняних виданнях;- 7 публікацій у фахових виданнях;- 6 публікацій в матеріалах конференцій, що входять до наукометричних баз даних Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);- 3 статті в журналах, що входять до науково-метричних баз Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук)- Захист 4 магістерських робіт.- Захист 1 кандидатської дисертації
|
3. з 01.01.18 по 31.12.18
|
Реалізація інсерційної машини верифікації формальних моделей програм
|
1. Дизайн інсерційної машини верифікації формальних моделей програм.2. Web-ресурс «Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення» Науково-технічний звіт за етап.Структура та дизайн інсерційної машини верифікації формальних моделей програм.Публікації у вітчизняних, фахових виданнях та журналах, що входять до науково-метричних баз Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);Публікації у матеріалах конференцій, що входять до наукометричних баз даних Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);Захист магістерських робітЗахист кандидатської дисертації
|
Детальний дизайн інсеційної машини верифікації формальних моделей програмУпроваджено web-ресурс «Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення»Науково-технічний звіт за етап.17 публікацій:- 5 публікацій у вітчизняних виданнях;- 2 публікації у фахових виданнях;- 7 публікацій в матеріалах конференцій, що входять до наукометричних баз даних Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук);- 3 статті в журналах, що входять до науково-метричних баз Web of Science, Scopus та/або Index Сореrnicus (для соціо-гуманітарних наук)Захист 4 магістерських робіт.Захист 1 кандидатської дисертації
|