Страницу Назад
Поискать другие аналоги этой работы
5 Замулин А.В. Формальные методы спецификации программID: 72648Дата закачки: 26 Августа 2012 Продавец: GnobYTEL (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Пособие Учебное Форматы файлов: Microsoft Word Описание: Новосибирск, НГУ. 2002. 100 стр. В предлагаемом учебном пособии рассматриваются два основных метода формального описания программных систем: метод ал-гебраических спецификаций и метод типизированных машин абстрактных состояний. Первый метод предназначен для описания статических аспектов системы, а второй – для описания динамиче-ских аспектов системы. Пособие начинается с рассмотрения задач формального метода в разработке программ, затем дается введение в метод алгебраических спецификаций и вслед за этим подробно рассматривается конкретный метод структурированных алгебраических спецификаций. Пособие заканчивается описанием типизированных машин абстрактных состояний. Пособие рассчитано на студентов 3-4 курсов, специализирую-щихся в области информатики. Размер файла: 107,2 Кбайт Фаил: (.zip)
Скачано: 6 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:К сожалению, точных предложений нет. Рекомендуем воспользоваться поиском по базе. |
||||
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Книги, учебники, методические пособия / Замулин А.В. Формальные методы спецификации программ
Вход в аккаунт: