commit - b4c3fe1ad6e4009329336dbae20a22798eca1b03
commit + 4ceff1d7fff3239b45ba667e3d6dc3cc58e10236
blob - abcf684a005f8af8a70ef0b6b59a18c9f56b6f78
blob + 0e2ddc15e5812503d4ec6b0fc18e4cf9a25e2301
--- courses-in-russian.md
+++ courses-in-russian.md
-## In Russian
+# Курсы на русском языке
+## Программная инженерия
+
* [Основы программной инженерии](https://compscicenter.ru/courses/seintro/2012-spring/), [Youtube](https://www.youtube.com/playlist?list=PL-_cKNuVAYAWPPoDKwsZJcyOWmNiVPT4D) - Владимир Ицыксон
-- [Основы программной инженерии (SWEBOK 2004 на русском) в EPUB и HTML](https://github.com/ligurio/swebok-ru)
* [Введение в программную инженерию](http://www.intuit.ru/studies/courses/497/353/info)
* [Введение в технологию программирования](http://www.intuit.ru/studies/courses/2262/160/info)
-* [Юнит-тестирование и метрики покрытия кода тестами](https://www.lektorium.tv/lecture/13635)
+* [Юнит-тестирование и метрики покрытия кода тестами](https://www.lektorium.tv/lecture/13635), Computer Science Center
-#### Тестирование ПО
+## Тестирование ПО
* Курс Святослава Куликова в ЕПАМ и [книга](http://svyatoslav.biz/software_testing_book/)
* [Основы тестирования программного обеспечения](http://www.intuit.ru/studies/courses/48/48/info)
* [Software Testing](http://compsciclub.ru/courses/softwaretesting/2008-spring/)- небольшой курс в рамках CSC по тестированию ПО от Mauro Pezzo.
* Школа автоматизации процессов разработки 2014 - курс для начинающих от инженеров Яндекса. Плейлист на [Youtube](https://www.youtube.com/playlist?list=PLJMRN_6MT0JYItlUeor7YRa0r6-lI8MMR).
-* [Тестирование на основе моделей](https://www.lektorium.tv/course/22774) ([слайды](http://compsciclub.ru/media/slides/modelbasedtesting_2010_spring/2010_04_25_modelbasedtesting_2010_spring_m98ClS2.pdf)), [Youtube](https://www.youtube.com/playlist?list=PL-_cKNuVAYAU1LAGzq5S0ARQjXs3TAY3K) - Кулямин Виктор
+* [Тестирование на основе моделей](https://www.lektorium.tv/course/22774) - Кулямин Виктор. Материалы: [слайды](http://compsciclub.ru/media/slides/modelbasedtesting_2010_spring/2010_04_25_modelbasedtesting_2010_spring_m98ClS2.pdf), [видео](https://www.youtube.com/playlist?list=PL-_cKNuVAYAU1LAGzq5S0ARQjXs3TAY3K)
* [Серия семинаров по тестированию (автоматизация)](https://www.youtube.com/playlist?list=PL-_cKNuVAYAV4VSQQK5AWMBImQ8kf6cnr) - cерия семинаров по тестированию (автоматизация) в CSC.
* [Тестирование ПО: Базовый уровень](https://stepik.org/course/16478) - курс на платформе Stepik, основан на официальной программе обучения "Сертифицированный тестировщик ПО Базового уровня" ISTQB и предназначен для подготовки к сдаче сертификационных экзаменов.
-#### Формальная верификация и спецификация ПО
+## Формальная верификация и спецификация ПО
-* [Верификация программ на моделях](https://www.youtube.com/user/ksavenkov/playlists) - курс Константина Савенкова в МГУ о моделировании с помощью SPIN/Promela.
-* [Верификация параллельных и распределенных программных систем](https://www.lektorium.tv/course/22862?id=22862) ([Youtube](https://www.youtube.com/playlist?list=PL-_cKNuVAYAUw3pNeradNr8zwOXKQ1IZA)) - Юрий Карпов
-* [Верификация программного обеспечения](http://www.intuit.ru/studies/courses/1040/209/info) - курс от ИНТУИТ от Никиты Налютина и Сергея Синицына.
-* [Software Verification](http://compsciclub.ru/courses/softwareverification/2008-spring/) - курс в CSC Натальи Шарыгиной про model checking.
-* [Введение в формальные методы верификации программ](http://sp.cs.msu.ru/courses/vmp/kamkin_mc2018.pdf) -- А.С. Камкин
-* [Методы верификации программного обеспечения](https://www.ispras.ru/publications/2008/methods_of_software_verification/) -- В.В. Кулямин
-* [Формальная спецификация и верификация программ](https://www.youtube.com/playlist?list=PLk5aZ4JAk_ZO32dammZRXxnSGhUSjOJzZ) ([практикум](http://mfsp.cmc.msu.ru/w/wp-content/uploads/2015/07/Deductive-Verification-Practicum.pdf)) - курс лекций Александра Петренко из ИСП РАН на ВМК МГУ.
-* [Введение в язык формальной верификации Coq](https://compsciclub.ru/courses/intro-to-coq/2019-autumn/about/) - Антон Трунов
-* [Введение в верификацию программ](https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY) - Антон Трунов (спецкурс для МФТИ)
-* Инженерный подход к разработке ПО - курс Васила Дядова в MIPT 2020. Во время курса студенты разрабатывают формальные спецификации аллокатора памяти и сборщика мусора в Alloy Analyzer. [Лекции](https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures), [видео](https://www.youtube.com/playlist?list=PLUWxg0t04t1dxOl2Na9WWotLnTuz-AO3Q).
+**[Верификация программ на моделях](https://www.youtube.com/user/ksavenkov/playlists)** - курс Константина Савенкова в МГУ о моделировании с помощью SPIN/Promela.
+
+**[Верификация параллельных и распределенных программных систем](https://www.lektorium.tv/course/22862?id=22862)** - Юрий Карпов. Материалы: [видео](https://www.youtube.com/playlist?list=PL-_cKNuVAYAUw3pNeradNr8zwOXKQ1IZA).
+
+**[Верификация программного обеспечения](http://www.intuit.ru/studies/courses/1040/209/info)** - курс от ИНТУИТ от Никиты Налютина и Сергея Синицына.
+
+**[Software Verification](http://compsciclub.ru/courses/softwareverification/2008-spring/)** - курс в CSC Натальи Шарыгиной про model checking.
+
+**[Формальная спецификация и верификация программ](https://www.youtube.com/playlist?list=PLk5aZ4JAk_ZO32dammZRXxnSGhUSjOJzZ) ([практикум](http://mfsp.cmc.msu.ru/w/wp-content/uploads/2015/07/Deductive-Verification-Practicum.pdf))** - курс лекций Александра Петренко из ИСП РАН на ВМК МГУ.
+
+**[Введение в язык формальной верификации Coq](https://compsciclub.ru/courses/intro-to-coq/2019-autumn/about/)** - Антон Трунов
+
+**[Введение в верификацию программ](https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY)** - Антон Трунов (спецкурс для МФТИ)
+
+**Инженерный подход к разработке ПО**
+
+Курс Васила Дядова в MIPT в 2020 году. Во время курса студенты разрабатывают формальные спецификации для аллокатора памяти и сборщика мусора в Alloy Analyzer. Материалы: [слайды](https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures), [видео](https://www.youtube.com/playlist?list=PLUWxg0t04t1dxOl2Na9WWotLnTuz-AO3Q).
\ No newline at end of file
