Пособие посвящено современным объектно-ориентированным методам
разработки программного обеспечения. Подробно рассматриваются все фазы
процесса разработки, такие как анализ требований, системный анализ,
системное проектирование, детальное проектирование и реализация.
Описываются техники построения формальных моделей, стандартные языки
спецификаций MSC (язык диаграмм взаимодействия) и SDL (язык
спецификаций и описаний), а также приводится практическое руководство по
системе SDT - инструментальной системе поддержки разработки
программного обеспечения на основе языков MSC и SDL. Пособие
предназначено для поддержки одноименного лекционного курса