Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/4106
Название: МЕТОДИКА АВТОМАТИЗИРОВАННОГО СИНТЕЗА КОМПОЗИТНЫХ ВЕБ-СЕРВИСОВ
Авторы: Шкарупило, В.В.
Кудерметов, Р.К.
Дата публикации: ноя-2011
Издательство: Донецкий национальный технический университет
Серия/номер: Информатика и компьютерные технологии;
Краткий осмотр (реферат): Предложена методика автоматизированного синтеза композитных веб-сервисов. Методика использует теорию взаимодействующих последовательных процессов Ч. Хоара и формализм темпоральной логики TLA (Temporal Logic of Actions). Обсуждаются необходимость формальной верификации спецификации композитного веб-сервиса и его последующей валидации.
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/4106
Располагается в коллекциях:Наукові публікації кафедри комп'ютерної інженерії

Файлы этого ресурса:
Файл Описание РазмерФормат 
8_Шкарупило.pdf795,42 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.