Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/4106Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Шкарупило, В.В. | - |
| dc.contributor.author | Кудерметов, Р.К. | - |
| dc.date.accessioned | 2012-01-15T09:07:06Z | - |
| dc.date.available | 2012-01-15T09:07:06Z | - |
| dc.date.issued | 2011-11 | - |
| dc.identifier.uri | http://ea.donntu.edu.ua/handle/123456789/4106 | - |
| dc.description.abstract | Предложена методика автоматизированного синтеза композитных веб-сервисов. Методика использует теорию взаимодействующих последовательных процессов Ч. Хоара и формализм темпоральной логики TLA (Temporal Logic of Actions). Обсуждаются необходимость формальной верификации спецификации композитного веб-сервиса и его последующей валидации. | en_US |
| dc.publisher | Донецкий национальный технический университет | en_US |
| dc.relation.ispartofseries | Информатика и компьютерные технологии; | - |
| dc.title | МЕТОДИКА АВТОМАТИЗИРОВАННОГО СИНТЕЗА КОМПОЗИТНЫХ ВЕБ-СЕРВИСОВ | en_US |
| dc.type | Article | en_US |
| Розташовується у зібраннях: | Наукові публікації кафедри комп'ютерної інженерії | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 8_Шкарупило.pdf | 795,42 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.