Electronic Documents Search
Documents found: 2
-
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 Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects Интернет; Интерфейсы; клиентский код; парсинг; интерактивные веб-приложения; повторное использование кода; динамический анализ UDC 004.738.5(043.3); 004.514(043.3); 004.451.83.056.55(043.3) 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/2/v18-331 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb
