commit - b1bdfe265eedaadbdb7f3604a0f3e2cf1d2dfa87
commit + 17ab960bb460a4c7fed395ab8c294ad746f7f693
blob - 55eab8b5785f183418cf88fcc0b4e8b487c3195d
blob + 0761ff2a34dc10cacd67964334c4023fb56994ab
--- Books-In-Russian.md
+++ Books-In-Russian.md
@@ -1,14 +1,57 @@
-#### Тестирование ПО
+## Тестирование ПО
 
-* [Test-Driven Development in Practice](https://github.com/risik/tdd-book) - Сергей Борисов
-* [Тестирование программного обеспечения. Базовый курс.](http://svyatoslav.biz/software_testing_book/) - Святослав Куликов
-* [Руководство по тестированию пользовательского опыта для сайтов, мобильных приложений и прототипов](https://uxcrowd.ru/file/guide.pdf)
-* [Автоматизация тестирования от «А» до «Ы»](https://alpaev.com/testautomation/) - Gennadiy Alpaev
-* [Учебник по SilkTest](https://alpaev.com/silktest/) - Gennadiy Alpaev
-* [Учебник по TestComplete](https://alpaev.com/testcomplete/) - Gennadiy Alpaev
+Практически исчерпывающий список литературы с 1973 года по настоящее время по тестированию ПО с небольшими рецензиями - [Что почитать о тестировании ПО?](https://bronevichok.ru/posts/books-sqa.html.)
 
-#### Формальные методы
+**[Основы программной инженерии](https://github.com/ligurio/swebok-ru)**
 
-* [Верификация программ методом Model Checking](http://intsys.msu.ru/staff/mironov/modelchk.pdf) - А.М.Миронов
-* [Практикум по математической логике. Coq.](http://www.mi.ras.ru/~sk/lehre/coq/coq_pract.pdf)
-* [Введение в верификацию автоматных программ на основе метода Model checking](http://is.ifmo.ru/download/modelchecking.pdf) - С.Э. Вельдер, А.А. Шалыто
\ No newline at end of file
+Перевод на русский язык SWEBOK 2004, Software Engineering Body of Knowledge (Свод знаний по программной инженерии).
+
+**[Test-Driven Development in Practice](https://github.com/risik/tdd-book)** - Сергей Борисов
+
+**[Тестирование программного обеспечения. Базовый курс.](http://svyatoslav.biz/software_testing_book/)** - Святослав Куликов
+
+**[Автоматизация тестирования от «А» до «Ы»](https://alpaev.com/testautomation/)** - Gennadiy Alpaev
+
+**[Учебник по SilkTest](https://alpaev.com/silktest/)** - Gennadiy Alpaev
+
+**[Учебник по TestComplete](https://alpaev.com/testcomplete/)** - Gennadiy Alpaev
+
+## Формальные методы
+
+<!--
+- A. Robinson, A. Voronkov. Handbook of Automated Reasoning
+- https://t.me/practical_fm/5388
+- Добавил еще рекомендации книг из статьи https://habr.com/ru/company/yandex/blog/457810/ от Васил Дядов.
+-->
+
+**Michael Jackson. Problem Frames: Analysing & Structuring Software Development Problems**
+
+Хорошая книга об анализе проблем (не способов решения!), которые встают перед разработчиками ПО. Будет интересна тем, кто хочет грамотно анализировать задачи и составлять требования.
+
+**Daniel Jackson. Software Abstractions: Logic, Language, and Analysis**
+
+Книга об Alloy, инструменте для поиска моделей, и его принципах. От читателя особой подготовки не требуется, но нужны внимание и вдумчивость. Поможет понимание реляционной алгебры (операции join, транзитивного замыкания отношений). Но это необязательно, в книге всё хорошо объяснено.
+
+**Юрий Карпов. Model Checking. Верификация параллельных и распределённых программных систем**
+
+Хорошая обзорная книга о моделировании. Доходчиво написана, рассмотрены все основные темы, приведено множество примеров. Никакой серьёзной подготовки от читателя не требуется, знания матлогики и дискретки в объёме стандартной вузовской программы более чем достаточно.
+
+**Handbook of Model Checking**
+
+Местами довольно тяжело продираться, но создалось впечатление что покрытие темы хорошее. один из важных для меня факторов был - что каждую главу писала группа экспертов специализирующихся на конкретно этом подмножестве методов или этой области формальных методов в целом. Но по многим вещам пришлось гуглить и находить более простые объяснения.
+
+Дядов: У меня такая есть. Как справочник отличная книга, но как введение в тему - явно тяжела, зато обширная библиография к каждой главе позволяет найти книги для введения на любой вкус. Почти весь материал из этой книги есть в книге Юрия Карпова. Я бы рекомендовал Карпова. По моим впечатлениям, Карпов лучше для практиков, а Байер и Катоен для теоретиков. Подача материала у Карпова мне кажется проще, хотя и весьма сжато.
+
+Советов: Я просто к тому, что учебник Карпова — это именно учебник (замечательный) и он, естественно, даже не претендует на полный охват тем, которые есть в современном обсуждаемом нами справочнике.
+
+**Christel Baier and Joost-Pieter Katoen. Principles of Model Checking**
+
+Компактнее, чем "Handbook of Model Cheking" (975 против 1234 стр.), там меньше материала, но объясняется более простым языком.
+
+**[Введение в формальные методы верификации программ](http://sp.cs.msu.ru/courses/vmp/kamkin_mc2018.pdf)** - А.С. Камкин
+
+**[Верификация программ методом Model Checking](http://intsys.msu.ru/staff/mironov/modelchk.pdf)** - А.М.Миронов
+
+**[Практикум по математической логике. Coq.](http://www.mi.ras.ru/~sk/lehre/coq/coq_pract.pdf)**
+
+**[Введение в верификацию автоматных программ на основе метода Model checking](http://is.ifmo.ru/download/modelchecking.pdf)** - С.Э. Вельдер, А.А. Шалыто
\ No newline at end of file