Скрыть
Раскрыть

ISSN 1998-0663 (print),
ISSN 2587-8166 (online)

English version: ISSN 2587-814X (print),
ISSN 2587-8158 (online)

Набиуллин О. Р., Бабкин Э. А.1,2
  • 1 НИУ ВШЭ, 603014, Россия, Нижний Новгород, Сормовское шоссе, д.30
  • 2 НИУ ВШЭ, 101000, Россия, Москва, ул. Мясницкая, д.20

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

2008. № 4. С. 56–63 [содержание номера]
Целью данной статьи является описание подхода связанного с использованием формализма Абстрактных Машин Состояний (ASM) и среды SpecExplorer, разработанной в Microsoft Research.
 Текст статьи
BiBTeX
RIS
 
 
Rambler's Top100 rss