Знайдено документів: 1
Інформація × Реєстраційний номер 2113U007117, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи МОДЕЛЬ TLA-СПЕЦИФІКАЦІЇ КОМПОЗИТНОГО ВЕБ-СЕРВІСА З МНОЖИНОЮ ДИНАМІК Автор Шкарупило В. В.Shkarupylo V. V. Дата публікації 15-06-2013 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/14776 Видання National University "Zaporizhzhia Polytechnic" Опис Розроблено формальну модель специфікування власти-востей композитних веб-сервісів на основі формалізму темпоральної логіки TLA. На окремомуприкладі виконано верифікацію TLA-специфікації композитного веб-сервіса із множиною властивостей в автоматизованому режиміз використанням реалізації методу Model Checking ускладі програмного засобу TLA Toolbox (TLC, TLA Checker). Проведено оцінювання супутніх витрат часу. Додано в НРАТ 2026-02-09 Закрити
Матеріали
Опубліковано
Стаття
МОДЕЛЬ TLA-СПЕЦИФІКАЦІЇ КОМПОЗИТНОГО ВЕБ-СЕРВІСА З МНОЖИНОЮ ДИНАМІК
Шкарупило В. В.. МОДЕЛЬ TLA-СПЕЦИФІКАЦІЇ КОМПОЗИТНОГО ВЕБ-СЕРВІСА З МНОЖИНОЮ ДИНАМІК : публікація 2013-06-15; Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка"), 2113U007117
Знайдено документів: 1

Оновлено: 2026-03-17


Роздрукувати цю сторінку