Electronic Documents Search
Documents found: 4
-
Creators Чекулаева Юлия Евгеньевна Scientific adviser Лексашов Александр Викторович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects динамический анализ; спецификация; LibSL; инструментирование; GitHub; dynamic analysis; specification; instrumentation 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/2024/vr/vr24-4600 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Медведева Елизавета Сергеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects python; django; libsl; веб-приложение; спецификация; граф; документация; web application; specification; graph; documentation 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-727-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-727-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-727-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-727 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.2 Mb -
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 Java; LibSL; Java standart library; Java Collections framework; анализ кода; аппроксимация библиотек; code analysis; library approximation 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-3654 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb
