Veröffentlichungen
März 2015
So Mo Di Mi Do Fr Sa
1234567
891011121314
15161718192021
22232425262728
293031 
DBApp-Suche

Application datasets: 19682 Version datasets: 131916
DBApp v1.06
Copyright © demon
Werbung
  Qfsm

Qfsm ist ein grafischer Editor zum einfachen Zeichnen von endlichen Automaten. Er ist in C++ mit Qt geschrieben. Transitionen können entweder binäre oder Text-Bedingungen haben. Die Automaten können simuliert und auf Integrität geprüft werden. Damit wird die Verifikation eines korrekten Entwurfs und korrekter Funktion möglich. (non)


 

Homepage: http://qfsm.sourceforge.net/
Rating:
Lizenz: GNU General Public License Version 2 oder neuer
Kategorie: X11

Download:
http://qfsm.sourceforge.net/download.html
ChangeLog:
http://qfsm.sourceforge.net/changes.html
Screenshots:
http://qfsm.sourceforge.net/screenshots.html 
 

.: Hauptzweig
2012-06-20  0.53  Keine Angaben  mehr...  
 
  Angaben ändern   Neue Version melden