Electronic Documents Search
Documents found: 4
-
Creators Лихолетов Михаил Данилович Scientific adviser Болсуновская Марина Владимировна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects синтез программ; тестирование; формальная спецификация; program synthesis; testing; formal specification 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/2024/vr/vr24-3921 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 0.8 Mb -
Creators Бедрин Алексей Григорьевич Scientific adviser Болсуновская Марина Владимировна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects тестирование программного обеспечения; фаззинг; формальная спецификация; software testing; fuzzing; formal specification 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/2024/vr/vr24-3924 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
Creators Антунович Павел Юрьевич Scientific adviser Сиднев Александр Георгиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects аппроксимация; формальная спецификация; стандартная библиотека C; генерация кода; статический анализ; cpproximation; formal specification; C standard library; code generation; 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-3586 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 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
