From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fda70af70fb24163,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-28 23:19:42 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!proxad.net!freenix!enst.fr!not-for-mail
From: "Grein, Christoph" <christoph.grein@eurocopter.com>
Newsgroups: comp.lang.ada
Subject: FSMedit V3.1
Date: Wed, 29 Jan 2003 08:11:49 +0100 (MET)
Organization: ENST, France
Message-ID: <mailman.8.1043824781.30820.comp.lang.ada@ada.eu.org>
Reply-To: "Grein, Christoph" <christoph.grein@eurocopter.com>, "comp.lang.ada
	mail to news gateway" <comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: marvin.enst.fr
Mime-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
X-Trace: avanie.enst.fr 1043824782 44497 137.194.161.2 (29 Jan 2003 07:19:42
 GMT)
X-Complaints-To: usenet@enst.fr
NNTP-Posting-Date: Wed, 29 Jan 2003 07:19:42 +0000 (UTC)
To: comp.lang.ada@ada.eu.org
Return-Path: <christoph.grein@eurocopter.com>
X-Authentication-Warning: mail.eurocopter.com: uucp set sender to
	<christoph.grein@eurocopter.com> using -f
Content-MD5: Qe7GYvdpJEKcTTLWGG7aHA==
X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc 
X-BeenThere: comp.lang.ada@ada.eu.org
X-Mailman-Version: 2.1
Precedence: list
List-Id: comp.lang.ada mail to news gateway <comp.lang.ada.ada.eu.org>
List-Unsubscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada.eu.org>
List-Help: <mailto:comp.lang.ada-request@ada.eu.org?subject=help>
List-Subscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=subscribe>
Xref: archiver1.google.com comp.lang.ada:33537
Date: 2003-01-29T08:11:49+01:00

FSMedit - The Finite State Machines Editor - Version 3.1

New in this version: Undo/Redo facility and tooltips.

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 has been implemented with Claw and with GtkAda, so it can run in
Unix and Windows worlds.

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>

                                 o     _      _          _
 --------- __o       __o      /\_    _ \\o   (_)\__/o   (_)
 ------- _`\<,_    _`\<,_    _>(_)  (_)/<_     \_| \    _|/' \/
 ------ (_)/ (_)  (_)/ (_)  (_)         (_)    (_)     (_)'  _\o_
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Mein Radunfall
My bike accident


Christoph Grein
Mitglied von Ada-Deutschland
Member of Ada Germany
http:/www.ada-deutschland.de

http://home.T-Online.de/home/Christ-Usch.Grein
eMail: Christ-Usch.Grein@T-Online.de