Гусев, Максим Александрович. Автоматизация проверки корректности использования программных библиотек на основе спецификаций [Электронный ресурс]: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения / М. А. Гусев; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. М. Ицыксон ; консультант по нормоконтролю А. Г. Новопашенный. — Электрон. текстовые дан. (1 файл : 1,63 Мб). — Санкт-Петербург, 2018. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/v18-4629.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/v18-4629>. — <URL:http://elib.spbstu.ru/dl/2/rev/v18-4629-o.pdf>. — <URL:http://elib.spbstu.ru/dl/2/rev/v18-4629-r.pdf>.
| Period | Read | Copy | Open | Total | ||
|---|---|---|---|---|---|---|
| Year 2018 | Quarter 4 | 9 | 0 | 16 | 0 | 25 |
| Year 2019 | Quarter 1 | 3 | 0 | 13 | 0 | 16 |
| Quarter 2 | 7 | 0 | 12 | 0 | 19 | |
| Quarter 3 | 18 | 0 | 21 | 0 | 39 | |
| Quarter 4 | 1 | 0 | 7 | 0 | 8 | |
| Year 2020 | Quarter 1 | 3 | 0 | 15 | 0 | 18 |
| Quarter 2 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 4 | 1 | 0 | 2 | 0 | 3 | |
| Year 2021 | Quarter 1 | 0 | 0 | 0 | 0 | 0 |
| Quarter 2 | 2 | 0 | 1 | 0 | 3 | |
| Quarter 3 | 0 | 0 | 1 | 0 | 1 | |
| Quarter 4 | 0 | 0 | 0 | 0 | 0 | |
| Year 2022 | Quarter 1 | 0 | 0 | 1 | 0 | 1 |
| Quarter 2 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
| Quarter 4 | 0 | 0 | 0 | 0 | 0 | |
| Total | 44 | 0 | 89 | 0 | 133 | |