RUSSIAN

Формальные методы спецификации программ

By Замулин А.В.

Book information

Language
russian
Format
DOC
Filesize
446 kB (456704 bytes)
Pages
\0
Library
twirpx
Time added
2017-08-07 07:01:42
Информатика и вычислительная техника;Технология пр

Description

Новосибирск: НГУ, 2002. — 100 с. В предлагаемом учебном пособии рассматриваются два основных метода формального описания программных систем: метод алгебраических спецификаций и метод типизированных машин абстрактных состояний. Первый метод предназначен для описания статических аспектов системы, а второй – для описания динамических аспектов системы. Пособие начинается с рассмотрения задач формального метода в разработке программ, затем дается введение в метод алгебраических спецификаций и вслед за этим подробно рассматривается конкретный метод структурированных алгебраических спецификаций. Пособие заканчивается описанием типизированных машин абстрактных состояний. Пособие рассчитано на студентов 3-4 курсов, специализирующихся в области информатики.

Similar books