Abstrakt State Machine Language - Abstract State Machine Language

AsmL
Paradigmafunkční
Navrhlspolečnost Microsoft
Hlavní, důležitý implementace
XASM

Abstrakt State Machine Language (AsmL) je programovací jazyk založeno na Abstraktní státní stroje[1] formální metoda a vyvinutý společností Microsoft.[2] AsmL je a funkční jazyk (které se běžně používají v akademickém výzkumu).[3]

XASM je implementace jazyka jako open source.

Reference

  1. ^ Omar Badreddin (2010) "Dobře: programově orientovaný programovací jazyk. “ Softwarové inženýrství, 2010 ACM / IEEE 32. Mezinárodní konference o. Sv. 2. IEEE, 2010.
  2. ^ Chen, Kai, Janos Sztipanovits a Sandeep Neema. „Směrem k infrastruktuře sémantického ukotvení pro modelovací jazyky specifické pro doménu.“ Sborník z 5. mezinárodní konference ACM o softwaru Embedded. ACM, 2005.
  3. ^ Grieskamp, ​​Wolfgang a kol. "Testovatelné případy použití v jazyce abstraktního stavového stroje." Quality Software, 2001. Sborník. Druhá asijsko-pacifická konference dne. IEEE, 2001.

externí odkazy