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

  • O. Nabiullin
  • Eduard Babkin HSE University

Abstract

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

Downloads

Download data is not yet available.
Published
2008-01-20
How to Cite
NabiullinO., & BabkinE. (2008). Моделирование и автоматическая проверка по AsmL. Business Informatics, 2(4), 56-63. Retrieved from https://bijournal.hse.ru/article/view/26385
Issue
Vol 2 No 4 (2008)
Section
Software engineering