Классификация ошибок на UML-диаграммах, возникающих в ходе разработки IT-проектов И Богдан, А Задорожний Технічні науки та технології, 68-78, 2018 | 4 | 2018 |
Формальная верификация диаграммы классов ВВ Литвинов, ИВ Богдан Математические машины и системы, 41-47, 2013 | 4 | 2013 |
Инструментальные средства верификации моделей программного обеспечения ВВ Литвинов, ИВ Богдан, КС Сливко Вісник Чернігівського державного технологічного університету. Серія …, 2013 | 3 | 2013 |
Тестирование моделей объектно-ориентированного программного обеспечения ВВ Литвинов, ИВ Богдан Математические машины и системы 1 (2), 117-125, 2012 | 3 | 2012 |
Голографическое моделирование эффекта лазерной биостимуляции и методы изготовления фантомных тест-объектов для радиологии ИВ Богдан, ЮН Выговский, НЮ Выговская, ЮС Загайнова, ЕВ Зволь, ... Компьютерная оптика, 67-73, 2004 | 3 | 2004 |
Методы приоритизации задач в гибких методологиях разработки программного обеспечения ВВ Литвинов, ИВ Богдан, АА Задорожний, ИВ Белоус Математические машины и системы, 70-78, 2020 | 2 | 2020 |
Автоматизированная система верификации моделей объектно-ориентированного программного обеспечения БИВ Литвинов ВВ Вісник Чернігівського державного технологічного університету, 83-90, 2015 | 2 | 2015 |
Лазерный отжиг коллоидных регистрирующих сред для голографии ИВ Богдан, ЮН Выговский, ЮС Загайнова, АН Малов, СН Малов, ... Доклады Академии наук 382 (6), 754-758, 2002 | 2 | 2002 |
Верифікація моделей об’єктно-орієнтованих програм: перевірка на несуперечливість та узгодженість І Богдан Технічні науки та технології, 110-115, 2017 | 1 | 2017 |
Язык блочного имитационного моделирования на базе модифицированных диаграмм деятельности UML ВВ Литвинов, АА Задорожний, ИВ Богдан Математические машины и системы, 151-159, 2017 | 1 | 2017 |
Formal verification of the sequence diagram L Vitaiy, I Bohdan International journal “Information content and processing”, 79-86, 2014 | 1* | 2014 |
Информационная технология блочного имитационного моделирования автоматизированных систем в условиях неопределенности входной информации ВВ Литвинов, АА Задорожний, ИВ Богдан Математические машины и системы, 46-55, 2018 | | 2018 |
Верификация моделей объектно-ориентированных программ: проверка на непротиворечивость и согласованность ИВ Богдан Технічні науки та технології, 110-116, 2017 | | 2017 |
Проциклическая или антициклическая фискальная политика: методы диагностики ИВ Богдан Экономика Украины, 45-57, 2016 | | 2016 |
Голографическое моделирование эффекта лазерной биостимуляции и методы изготовления фантомных тест-объектов для радиологии ИВ Богдан, ЮН Выговский, НЮ Выговская, ЮС Загайнова, ЕВ Зволь, ... Компьютерная оптика, 56-61, 2002 | | 2002 |
ВЕРИФИКАЦИЯ МОДЕЛЕЙ ОБЬЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИВ Богдан СЬОМА МІЖНАРОДНА НАУКОВО-ПРАКТИЧНА КОНФЕРЕНЦІЯ 25-28 червня 2012 р., 234, 0 | | |