RAISE specification language Пискунов А.Г.

Краткое описание

Пискунов А.Г.
Год: 2006
Количество страниц: 47
Язык: Русский | Английский
Формат: PDF / RAR

Формат файла: RAR

Полное описание

В работе рассматривается применение языка спецификаций RAISE (RSL) для анализа и декомпозиции двунаправленных потоков данных интерактивных систем.

Файлы по теме

Всё о монадах Ньюберн Д.
Питон. Курс лекций 0
Сортировка и поиск. Рецептурный справочник Ниман Т.
В этой книжечке содержится информация о нескольких алгоритмах сортировки и поиска Эту информацию можно найти во множестве книг - в большинстве из них предполагается знание математического анализа и теории вероятностей
Устранение локальных Goto Плисс О.А., Волошин К.Д.
Некоторые из языков программирования придерживаются доктрины радикального устранения неструктурных операторов [1], в том числе и операторов безусловных локальных переходов (GOTO)

Файл скачан 0 раз

Голосовать за файл

Скачивание файлов доступно только зарегистрированным пользователям.

Комментарии к файлу