comp.lang.ada
 help / color / mirror / Atom feed
* FSMedit 3.0
@ 2002-11-11  5:27 Grein, Christoph
  0 siblings, 0 replies; only message in thread
From: Grein, Christoph @ 2002-11-11  5:27 UTC (permalink / raw)


FSMedit - The Finite State Machines Editor - Version 3.0

Now, additionally to Claw, FSMedit is also available with GtkAda, so it's
no longer restricted to Windows.

FSMedit aids in specifying transition diagrams for Finite State Machines.
When the transition diagram of a FSM has been specified, a simulation can
be executed interactively or via scripts.

From the transition diagrams, Ada code can be generated; also the reverse,
extraction of transition diagrams from Ada code is possible.

Tools for reachability analysis and for comparison of machines are also
available.

FSMedit may be installed in different languages. Currently English and German
are selectable. Further languages can be provided without recompilation,
solely by providing the translation in a language file.

FSMedit has been released under the Gnu GPL. However, since it is an "editor",
any software (i.e. Finite State Machine) you produce with it does not fall
under any licence other than you choose yourself.

To download FSMedit together with Ada source code and a complete user's
manual, see

    <http://home.t-online.de/home/Christ-Usch.Grein/Ada/FSM.html>



^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2002-11-11  5:27 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-11-11  5:27 FSMedit 3.0 Grein, Christoph

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox