Райхлин В.А. (ред.) Конструктивное моделирование систем информатики

Монография / В.А. Райхлин, И.С. Вершинин, Р.Ш. Минязев, Р.Ф. Гибадуллин. — Казань: Фэн (Наука), 2016. — 312 с. — ISBN: 978-5-9690-0303-3.Систематизированы оригинальные материалы по развиваемому научному направлению, ранее опубликованные в ряде книг и журнальных статей и сохранившие актуальность. Излагается авторское вúдение методологии конструктивного моделирования сложных систем в условиях неполноты информации. Модель системы рассматривается как конструктивный метод. Сформулированная концепция уделяет серьезное внимание мировому опыту и эвристике, симбиозу теории и эксперимента. Следование этой концепции позволяет дать приемлемое обоснование неформально найденному методу, повысить эффективность процесса синтеза. Прагматизм концепции показывается на примерах синтеза сложных систем информатики: искусственные линии, цифровые автоматы, параллельные СУБД, системы защиты картографических данных.