Electronic Documents Search
Documents found: 33
-
Creators Феофилактов Владислав Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects генерация спецификаций; формальная спецификация; повторное использование кода; статический анализ; LibSL; specification generation; formal specification; code reuse; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3486 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.7 Mb -
Creators Салимгареев Ильдар Айдарович Scientific adviser Туральчук Константин Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; принципы программирования; SOLID; C#; static analysis; programming principles Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.03 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3897 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Дуботолкова Натали Дмитриевна Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; плагин; Sonarqube; GoLang; static analysis; plugin Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3882 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.6 Mb -
Creators Станкеев Владимир Владимирович Scientific adviser Жуковский Евгений Владимирович Other creators Ярмак Анастасия Викторовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects поиск аномалий; обнаружение вредоносных программ; статический анализ; компьютерная безопасность; anomaly detection; malware detection; static analysis; computer security Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-o.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-r.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-a.pdf DOI 10.18720/SPBPU/3/2022/vr/vr22-194 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.2 Mb -
Creators Васильева Ксения Владимировна Scientific adviser Коноплев Артем Станиславович Other creators Резединова Евгения Юрьевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; встроенное программное обеспечение; архитектура uefi bios; недекларированные возможности; верификация программного обеспечения; адаптивное сравнение бинарных файлов; доверенная вычислительная среда; static analysis; embedded software; uefi bios architecture; undeclared capabilities; verification of embedded software; adaptive binary comparison; trusted executable environment Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 10.03.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-4931-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-4931-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-4931 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 2.0 Mb -
Creators Вяткина Полина Алексеевна Scientific adviser Беляев Михаил Анатольевич Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects TIP; статический анализ; монотонный фреймворк; алгебраическая решетка; алгоритм унификации; абстрактное синтаксическое дерево; граф потока управления; static analysis; monotone framework; algebraic lattice; unification algorithm; abstract syntax tree; control flow graph Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-719 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Меньшов Петр Алексеевич Scientific adviser Ахин Марат Халимович Other creators Нестеров Сергей Александрович; Абдуллин Азат Марселевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects concolic testing; тестирование по; автоматическая генерация тестов; анализ программного обеспечения; статический анализ; динамический анализ; random testing; testing; software analysis; static analysis; dynamic analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-740 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Проценко Евгений Григорьевич Scientific adviser Москвин Дмитрий Андреевич Other creators Резединова Евгения Юрьевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; модели предсказания дефектов; графовые представления; выборочное фаззинг-тестирование; генетический алгоритм; характеристики кода; static analysis; defect prediction models; unsupervised learning; graph representation; selective fuzzing; genetic algorithms; code metrics Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-5371-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-5371-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-5371-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-5371 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Кучмин Дмитрий Алексеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; модели программ; Java; верификация и анализ программ; динамическая визуализация; static analysis; program models; program verification and analysis; dynamic visualization Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2022/vr/vr22-1227 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Creators Балионис Анжелика Игоревна Scientific adviser Кузин Алексей Константинович Other creators Кузин Алексей Константинович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects задняя подвеска; генеративный дизайн; топологическая оптимизация; кинематика и динамика механизма; статический анализ; прочностные расчеты; минимизация массы; rear suspension; generative design; topology optimization; kinematics and dynamics of mechanism; static analysis; minimization of mass Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 15.03.01 Speciality group (FGOS) 150000 - Машиностроение Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-5458-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-5458-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-5458 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.7 Mb
