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=-1.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fb5b0056c72fcd7e,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-10 21:34:05 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!fr.usenet-edu.net!usenet-edu.net!enst.fr!not-for-mail From: "Grein, Christoph" Newsgroups: comp.lang.ada Subject: FSMedit 3.0 Date: Mon, 11 Nov 2002 06:27:59 +0100 (MET) Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: TEXT/plain; charset=US-ASCII Content-Transfer-Encoding: QUOTED-PRINTABLE X-Trace: avanie.enst.fr 1036992844 98355 137.194.161.2 (11 Nov 2002 05:34:04 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Mon, 11 Nov 2002 05:34:04 +0000 (UTC) Return-Path: X-Authentication-Warning: mail.eurocopter.com: uucp set sender to using -f Content-MD5: LAXGfnNm80QIHkBb55H1ow== X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.13 Precedence: bulk X-Reply-To: "Grein, Christoph" List-Unsubscribe: , List-Id: comp.lang.ada mail<->news gateway List-Post: List-Help: List-Subscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:30697 Date: 2002-11-11T06:27:59+01:00 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