commit 4ceff1d7fff3239b45ba667e3d6dc3cc58e10236 from: Sergey Bronnikov date: Sat Jul 08 14:33:29 2023 UTC Updated courses in russian (markdown) commit - b4c3fe1ad6e4009329336dbae20a22798eca1b03 commit + 4ceff1d7fff3239b45ba667e3d6dc3cc58e10236 blob - abcf684a005f8af8a70ef0b6b59a18c9f56b6f78 blob + 0e2ddc15e5812503d4ec6b0fc18e4cf9a25e2301 --- courses-in-russian.md +++ courses-in-russian.md @@ -1,30 +1,38 @@ -## 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