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 15 of 15
Issue DateTitleAuthor(s)
2018An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specificationШкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль
2017Development of stratified approach to software defined networks simulationШкарупило, Вадим Вікторович; Скрупський, Степан Юрійович; Олійник, Андрій Олександрович; Колпакова, Тетяна Олексіївна; Shkarupylo, Vadym V.; Skrupsky, Stepan Y.; Oliinyk, Andriy O.; Kolpakova, Tetiana O.; Шкарупило, Вадим Викторович; Скрупский, Степан Юрьевич; Олейник, Андрей Александрович; Колпакова, Татьяна Алексеевна
2015DEVS-орієнтована методика валідації композитних веб-сервісівШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
2016The investigation of TLC model checker propertiesШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.
2017The system for control and accounting of working timeПлахтій, Анастасія Михайлівна; Шкарупило, Вадим Вікторович; Бєліков, Сергій Борисович; Plakhtii, Anastasiia M.; Shkarupylo, Vadym V.; Byelikov, Sergey B.; Плахтий, Анастасия Михайловна; Шкарупило, Вадим Викторович; Беликов, Сергей Борисович
2013WS-BPEL-модифікація методу TLC-верифікаціїШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович
2011Комплексный подход к автоматизации композиции веб-сервисовШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович
2012Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісівШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Паромова, Тетяна Олександрівна; Paromova, Tetyana O.; Паромова, Татьяна Александровна
2017Лабораторні роботи з дисципліни "Алгоритми та методи обчислень"Шкарупило, Вадим Вікторович; Голуб, Тетяна Василівна; Щербак, Наталія Володимирівна; Shkarupylo, Vadym V.; Golub, Tatiyna V.; Shcherbak, Natalia V.; Шкарупило, Вадим Викторович; Голуб, Татьяна Васильевна; Щербак, Наталья Владимировна
2015Методичні вказівки до виконання лабораторних робіт з дисципліни "Інженерія програмного забезпечення" (I частина)Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Ільяшенко, Матвій Борисович; Ильяшенко, Матвей Борисович; Iliashenko, Matvii B.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
2013Модель TLA-специфікації композитного веб-сервіса з множиною динамікШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2015Модифицированый метод распознавания текста на стандартизированном изображенииКасьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Братчиков, Володимир Володимирович; Братчиков, Владимир Владимирович; Bratchykov, Volodymyr V.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2015Обнаружение и выбор WEB-сервисовПольська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2010Прогнозирование годового роста трафика Интернет, на основе подобранной модели временного рядаШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Касьян, Констянтин Миколайович; Kasyan, Konstantin M.; Касьян, Константин Николаевич
2012Підхід до формальної верифікації композитних веб-сервісівШкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович