Если вы хотели погрузиться в тему SDLC, то вот вам знак свыше: в весеннем семестре в ВМК МГУ проходит спецкурс по РБПО.

Лабораторные работы будут доступны только студентам, лекции будут транслироваться в Jitsi по ссылке, прослушивание доступно всем желающим просто по ссылке, записи лекций (кроме первой) обещают выкладывать. Лекторы из ИСП РАН и индустрии.

3 марта Вводная лекция.
10 марта Неопределенное поведение и оптимизация кода.
17 марта Статический анализ.
24 марта Задачи практического применения статического анализатора исходного кода компилируемых языков.
31 марта Обзор методик и инструментов архитектурного анализа. Композиционный анализ ПО.
7 апреля Анализ поверхности атаки.
14 апреля Фаззинг-тестирование.
21 апреля Оценка соответствия процессов РБПО в организации. Сертификация процессов РБПО.