Моделирование и автоматическая проверка по AsmL

  • О. Набиуллин
  • Эдуард Бабкин Национальный исследовательский университет «Высшая школа экономики»

Аннотация

Целью данной статьи является описание подхода связанного с использованием формализма Абстрактных Машин Состояний (ASM) и среды SpecExplorer, разработанной в Microsoft Research.

Скачивания

Данные скачивания пока не доступны.
Опубликован
2008-01-20
Как цитировать
НабиуллинО., & БабкинЭ. (2008). Моделирование и автоматическая проверка по AsmL. Бизнес-информатика, 2(4), 56-63. извлечено от https://bijournal.hse.ru/article/view/26385
Выпуск
Том 2 № 4 (2008)
Раздел
Программная инженерия