Browsing by Author Шкарупило, Вадим Викторович

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 11 of 11
Issue DateTitleAuthor(s)
2015DEVS-орієнтована методика валідації композитних веб-сервісівШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
2016The investigation of TLC model checker propertiesШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Костянтин Миколайович; Касьян, Константин Николаевич; Kasian, Kostiantyn M.
2013WS-BPEL-модифікація методу TLC-верифікаціїШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович
2011Комплексный подход к автоматизации композиции веб-сервисовШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович
2012Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісівШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Паромова, Тетяна Олександрівна; Paromova, Tetyana O.; Паромова, Татьяна Александровна
2015Методичні вказівки до виконання лабораторних робіт з дисципліни "Інженерія програмного забезпечення" (I частина)Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Ільяшенко, Матвій Борисович; Ильяшенко, Матвей Борисович; Iliashenko, Matvii B.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
2013Модель TLA-специфікації композитного веб-сервіса з множиною динамікШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2015Модифицированый метод распознавания текста на стандартизированном изображенииКасьян, Костянтин Миколайович; Касьян, Константин Николаевич; Kasian, Kostiantyn M.; Братчиков, Володимир Володимирович; Братчиков, Владимир Владимирович; Bratchykov, Volodymyr V.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2015Обнаружение и выбор WEB-сервисовПольська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2010Прогнозирование годового роста трафика Интернет, на основе подобранной модели временного рядаШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Касьян, Костянтин Миколайович; Kasian, Kostiantyn M.; Касьян, Константин Николаевич
2012Підхід до формальної верифікації композитних веб-сервісівШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович