Электронный архив
Донецкого национального технического университета (г.Донецк)
Electronic archive of Donetsk national technical university (Donetsk)
 

Расширенный поиск
Главная страница
 
Просмотреть
Разделы
и коллекции
По дате
По автору
По заглавию
По тематике
 
Зарегистрированным:
Обновления на e-mail
Мой архив
ресурсов
Редактировать профиль
 
О DSpace

eaDonNTU, Donetsk >
Факультет интеллектуальных систем и программирования (ФИСП) >
Кафедра компьютерной инженерии >
Научные публикации кафедры компьютерной инженерии >

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.ru/handle/123456789/4106

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

Файлы этого ресурса:

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

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