Технология программирования
Информатика и вычислительная техника
  • формат doc
  • размер 107,20 КБ
  • добавлен 12 июля 2012 г.
Замулин А.В. Формальные методы спецификации программ
Новосибирск: НГУ, 2002. — 100 с.
В предлагаемом учебном пособии рассматриваются два основных метода формального описания программных систем: метод алгебраических спецификаций и метод типизированных машин абстрактных состояний. Первый метод предназначен для описания статических аспектов системы, а второй – для описания динамических аспектов системы. Пособие начинается с рассмотрения задач формального метода в разработке программ, затем дается введение в метод алгебраических спецификаций и вслед за этим подробно рассматривается конкретный метод структурированных алгебраических спецификаций. Пособие заканчивается описанием типизированных машин абстрактных состояний.
Пособие рассчитано на студентов 3-4 курсов, специализирующихся в области информатики.
Похожие разделы