JavaFSMPlugin4

From FSL
Revision as of 03:48, 25 November 2014 by Kheradm2 (Talk | contribs)

Jump to: navigation, search

JavaFSM is an instance of MOP for Java and for FSM specifications. It is obtained by running JavaMOP with FSM specifications. Despite its simplicity, JavaFSM has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as parametric finite state machines.


[Open Full Tool Page]


Personal tools
Namespaces

Variants
Actions
Navigation