Розглянуто питання забезпечення надійності програмного забезпечення за допомогою Уніфікованої Мови Моделювання (UML). Запропоновано підхід до моделювання програмної системи, що дозволяє врахувати структурні та динамічні особливості системи, що проектується. Головною особливістю запропонованого підходу є перетворення моделі на базі мереж Петрі в стандартні нотації UML.

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