Потиенко С. В. Представление SDL-спецификаций в виде базовых протоколов / С. В. Потиенко, А. В. Колчин // Искусств. интеллект. - 2006. - № 4. - С. 42-52. - Библиогр.: 10 назв. - рус.Предложен метод верификации SDL-систем, в основу которого положена предварительная нормализация и трансляция исходной модели в формализм базовых протоколов, для которого существуют эффективные автоматические методы анализа и верификации. Результаты процесса верификации транслируются в термины исходной модели, и так же могут быть использованы для построения тестовых сценариев в процессе индустриальной разработки программного обеспечения. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|