Старолетов С.М., Крючкова Е.Н. Моделирование распределённых многокомпонентных программных систем и их тестирование на основе автоматных вероятностных моделей

Монография. — Барнаул: АлтГТУ, 2011. — 107 с. — ISBN: 978-5-7568-0859-9.В настоящей работе рассматриваются модель, методы и инструментальные средства для проектирования и тестирования программных систем для параллельной и распределённой обработки данных согласно принципам MDD (разработка, управляемая моделями) и МВТ (тестирование на основе моделей).