Богдан І. Верифікація моделей об'єктно-орієнтованих програм: перевірка на несуперечливість та узгодженість / І. Богдан // Техн. науки та технології. - 2017. - № 2. - С. 110-115. - Библиогр.: 6 назв. - укp.
Описано умови та обмеження, виконання яких дозволить забезпечити узгодженість та несуперечливість між UML-діаграмами всередині моделі об'єктно-орієнтованого програмного забезпечення.
Шифр НБУВ: Ж101341Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"