Рожнов О. М. Аналіз методів специфікації та верифікації компонентів розподілених застосувань / О. М. Рожнов // Пробл. программир.. - 1998. - № 4. - С. 93-101. - Бібліогр.: 25 назв. - укp.
Проведено аналіз методів специфікації моделей розподілених застосувань (РЗ), їх компонентів, методів верифікації та тестування РЗ у середовищі розподілених систем. Розглянуто традиційні методи тестування РЗ, які базуються на викликах віддалених процедур.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"