Electronic Documents Search

Documents found: 7

1

Разработка подхода автоматического обнаружения дефектов в SMT-решателей на основе покрытия SMT-формул: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения»

Creators	Соколов Дмитрий Сергеевич
Scientific adviser	Куляшова Зинаида Викторовна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности
Imprint	Санкт-Петербург, 2024
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	SMT-решатель; SMT-формула; покрытие SMT-формулы; обнаружение дефектов в SMT-решателях; качество программного обеспечения; SMT solver; SMT formula; SMT formula coverage; SMT solvers defects detection; software quality
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-1906
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.8 Mb

Разработка метода автоматического поиска ошибок компиляторов языков Kotlin и Java, связанных с производительностью: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения»

Creators	Коротких Виктор Дмитриевич
Scientific adviser	Степанов Даниил Сергеевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2023
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	качество программного обеспечения; автоматическое тестирование компиляторов; определение ошибок связанных с производительностью; фаззинг; компилятор Kotlin; компилятор Java; software quality; automatic compiler testing; performance related bugs detection; fuzzing; Kotlin compiler; Java compiler
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-3405
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.6 Mb

Web-приложение для системы ограниченной проверки моделей Borealis: бакалаврская работа: 09.03.01

Creators	Анисимов Александр Александрович
Scientific adviser	Беляев Михаил Анатольевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	качество программного обеспечения; web-технологии; ограниченная проверка моделей для c
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/2/v17-4077
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.1 Mb

Program and Code // Technology and Language. – 2022. – Т. 3, № 2. — С. 70-80 New arrival!

Creators	Hahnle R.
Imprint	2022
Collection	Общая коллекция
Subjects	Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; computer programs; program codes; formal verification; mathematical semantics; software reliability; software quality; компьютерные программы; программные коды; формальная верификация; математическая семантика; достоверность программного обеспечения; качество программного обеспечения
UDC	004.41/.42
LBC	32.973-018
Document type	Article, report
File type	PDF
Language	English
DOI	10.48417/technolang.2022.02.06
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 1.2 Mb

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

Creators	Константинова Вера Валентиновна
Scientific adviser	Ахин Марат Халимович
Other creators	Нестеров Сергей Александрович; Степанов Даниил Сергеевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2020
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	определение дубликатов ошибок; компилятор Kotlin; генерация программ-свидетелей; локализация ошибок; автоматическое тестирование компиляторов; качество программного обеспечения; bug duplicate detection; Kotlin compiler; witness test program generation; bug localization; automatic compiler testing; software quality
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/2020/vr/rev/vr20-816-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-a.pdf
DOI	10.18720/SPBPU/3/2020/vr/vr20-816
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.2 Mb

Управление качеством электронного документооборота: выпускная квалификационная работа магистра: 01.04.02 - Прикладная математика и информатика ; 01.04.02_02 - Математические методы анализа и визуализации данных

Creators	Подъячева Светлана Игоревна
Scientific adviser	Новиков Федор Александрович
Other creators	Арефьева Людмила Анатольевна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint	Санкт-Петербург, 2019
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные — Применение в экономике; Делопроизводство; система электронного документооборота; информационное общество; качество программного обеспечения; тестирование
LBC	65.291.212.8с51-21я031
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	01.04.02
Speciality group (FGOS)	010000 - Математика и механика
Links	http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2221-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2221-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2221-a.pdf
DOI	10.18720/SPBPU/3/2019/vr/vr19-2221
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.9 Mb

Методика выбора шаблона программной архитектуры на основе анализа параметров качества системы // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2019. – Т. 12, № 2

Creators	Ядгарова Юлия Владимировна; Таратухин Виктор Владимирович
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2019
Collection	Общая коллекция
Subjects	Вычислительная техника; Архитектура вычислительных машин в целом; архитектура программного обеспечения; качество программного обеспечения; проектирование архитектуры программного обеспечения; параметры качества программных систем; тактики проектирования (вычислительная техника); шаблоны архитектуры (вычислительная техника); software architecture; quality of the software; software architecture design; quality parameters of software systems; tactics of design (computer engineering); architecture templates (computing)
UDC	004.2
LBC	32.973-02
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18721/JCSTCS.12203
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.8 Mb

1