Paxion Freier und Open Source BCHI Automata Graphical Editor
Jetzt downloaden

Paxion Ranking & Zusammenfassung

Paxion Stichworte

bearbeiten Vorderes Ende Grafikeditor Automatisierung Grafisches Frontend. Automaten-Editor

Paxion Beschreibung

Kostenloser und offener Quelle BCHI Automata Grafischer Editor Paxion ist ein kostenloser grafischer Herausgeber von freier und offener Quelle für BCHI AUTOMATA (eine besondere Art von Finite-State-Automaten), die in Java geschrieben wurde. Paxion bietet ein grafisches Frontend für mehrere Modellprüfungen und kann als Standalone-Editor von Automata verwendet werden. Anforderungen: · Java Was ist neu in dieser Version: Neue Eigenschaften: · Annahme von Sets sind durch farbige Kreise gekennzeichnet (Farben werden vom · Nutzer) · Die Annahme-Sets A-Status gehören auf dem Bildschirm EditState Fehlerbehebung: · Unter Windows wird das Kontextmenü auf einem Rechtsklick auf das angezeigt · Zeichnungspanel, anstatt eine rechteckige Auswahl zu starten · Unter Windows fügt es keinen Status zu einem Rechtsklick hinzu, anstatt zu zeigen · Das Kontextmenü mehr · Ein Fehlverhalten behoben: Das Programm fügt nicht zwei Punkte hinzu, wenn die Maus beim Erstellen eines Übergangs gezogen wird (ergab den Eindruck eines Doppelklicks anstelle eines normalen Klicks, wenn die Maus nicht genau am selben Ort wie er war gedrückt) Sonstige Verbesserungen: · Selbstübergänge ohne Zwischenpunkt nicht zulassen · Das Programm beginnt im SELECT-Modus anstelle des Zustandsmodus

Paxion Zugehörige Software