• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

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

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