Представлено порівняльний аналіз найбільш поширених формальних методів розробки програмного забезпечення: Z, B методу та Vienna Development Method. Розглянуто основні властивості зазначених формальних методів, вказані їх загальні характеристики. Проведено порівняльний аналіз. Мета порівняльного аналізу: визначити можливості вищевказаних формальних методів для створення абстрактних моделей та відтранслювання їх до програмного коду, що задовольняє умови узгодженості первинної абстрактної моделі. Також запропоновано можливі формули переходу між абстрактними моделями, що створені за допомогою нотацій B та VDM. На основі розглянутих формул зроблено висновок щодо взаємозалежності даних методів.

• Буй Дмитро Борисович (1958–) (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"