Difference between revisions of "JavaFSMPlugin4"
From FSL
| Line 3: | Line 3: | ||
JavaFSM is an instance of [[MOP]] for Java and for [[FSMPlugin4|FSM]] specifications. It is obtained by running [[JavaMOP4|JavaMOP]] with [[FSMPlugin4|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. | JavaFSM is an instance of [[MOP]] for Java and for [[FSMPlugin4|FSM]] specifications. It is obtained by running [[JavaMOP4|JavaMOP]] with [[FSMPlugin4|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. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Latest revision as of 03:58, 25 November 2014
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.
