Electronic Documents Search

Documents found: 1

1

Портирование инфраструктуры учебного курса "Статический анализ ПО" на язык программирования Kotlin: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения»

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

1