| Ш66 |
Шкарупило, В. В.
Розробка й дослідження моделей і методів специфікації, верифікації і валідації композитних веб-сервісів [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Шкарупило Вадим Вікторович. – К. : ІПМЕ ім. Г. Є. Пухова, 2014. – 20 с.
Автореферат дисертації присвячено розробці й дослідженню моделей і методів формальних специфікації і верифікації. а також валідації композитних веб-сервісів з метою підвищення ефективності проектування розподілених комп'ютерних систем корпоративного призначення на основі сервіс-орієнтованої архітектури.
|
