Абстрактный язык конечных автоматов - Abstract State Machine Language

AsmL
Парадигмафункциональный
РазработаноКорпорация Майкрософт
Основной реализации
XASM

Абстрактный язык конечных автоматов (AsmL) это язык программирования на основе Абстрактные государственные машины[1] формальный метод и разработан Microsoft.[2] AsmL - это функциональный язык (которые обычно используются в академических исследованиях).[3]

XASM - это реализация языка с открытым исходным кодом.

Рекомендации

  1. ^ Омар Бадреддин (2010) "Umple: модельно-ориентированный язык программирования ". Программная инженерия, 2010 32-я международная конференция ACM / IEEE по. Vol. 2. IEEE, 2010 г.
  2. ^ Чен, Кай, Янош Штипановиц и Сандип Нима. «К инфраструктуре семантической привязки для предметно-ориентированных языков моделирования». Материалы 5-й международной конференции ACM по встраиваемому ПО. ACM, 2005.
  3. ^ Грискэмп, Вольфганг и др. «Тестируемые варианты использования на абстрактном языке конечных автоматов». Качественное программное обеспечение, 2001. Труды. Вторая Азиатско-Тихоокеанская конференция. IEEE, 2001.

внешняя ссылка