AsmL

  •        0

AsmL is the Abstract State Machine Language, developed Microsoft Research. It is an executable specification language based on the theory of Abstract State Machines. This CodePlex project comprises an AsmL compiler that targets .NET code.

http://asml.codeplex.com/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

state_machine - Adds support for creating state machines for attributes on any Ruby class


Adds support for creating state machines for attributes on any Ruby class

OpenFst Library for constructing weighted finite-state transducer


OpenFst is a library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). Weighted finite-state transducers are automata where each transition has an input label, an output label, and a weight. FSTs have key applications in speech recognition and synthesis, machine translation, optical character recognition, pattern matching, string processing, machine learning, information extraction and retrieval among others.

SMC - The State Machine Compiler


SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.

restful-authentication


Generates common user authentication code for Rails/Merb, with a full test/unit and rspec suite and optional Acts as State Machine support built-in.

Jikes RVM


Jikes RVM is a flexible infrastructure for virtual machine research

ECharts


ECharts is a state machine-based programming language for event-driven systems derived from the standardized UML Statecharts language. ECharts has a proven track-record in a large-scale commercial deployment. Take a look at what ECharts has to offer!

javascript-state-machine - A finite state machine javascript micro framework


A finite state machine javascript micro framework

QP Active Object (Actor) Frameworks


Event-driven, RTOS-like, active object frameworks for microcontrollers

dktools - Dirk Krauses tools


A set of command line tools for advanced users and administrators. Graphics conversion (PNG/TIFF/JPEG to PS/EPS/PDF, Fig to PS/EPS/PGF/PDF+TeX/EPS+TeX/SVG), administration tools (create configuration and documentation from database), printing tools (print quota enforcement, send file to Windows print queue, Windows print queue cleanup, LPRng queue cleanup), developer tool (tracing and debugging, wxWidgets GUI code generation, state machine code generation), networking tool (send data strea

Finite State Machine Editor


A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).







Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>