Jtlv. ein neues Instrument, das darauf abzielt, einen einheitlichen Rahmen für die Entwicklung zu erleichtern und anzubieten
Jetzt downloaden

Jtlv. Ranking & Zusammenfassung

Jtlv. Stichworte

Entwicklung sich entwickeln Algorithmus Algorithmus entwickeln Algorithmusentwicklung. Design-Modul konstruieren

Jtlv. Beschreibung

Ein neues Instrument, das darauf abzielt, einen einheitlichen Rahmen für die Entwicklung zu erleichtern und anzubieten JTLV stellt eine reine Java-Benutzer-API bereit, während die aus der Verwendung von BDDs abgeleiteten exponentiellen Komplexität tatsächlich in c implementiert ist und über einen JNI an die C-Bibliotheken aufgerufen wird (alle zugrunde liegenden BDD-Implementierung sind für den Benutzer unsichtbar). Und implementieren Sie selbst den einfachsten neuen formalen Algorithmus, der Entwickler muss sich des gesamten Systems vollständig bewusst sein, in dem er sie oder seinen Algorithmus umsetzt. Als ob dies nicht genug war, von der Art des formalen Feldes sind die meisten Systeme in einem sehr niedrigen Niveau-C-Code implementiert. Dies ist, da die Komplexität solcher Algorithmen in Exponential zu beginnen. BDD-Paket verwendet, kann während des Vorlaufs oder während der Laufzeit dynamisch eingestellt werden. Die gesamte BDD-Schnittstelle dank des JavaBDD-Projekts. Mit der ausgewählten BDD-Bibliothek errichtet JTLV weiterhin Designmodule. Derzeit können die Designmodule mithilfe von, sMV oder FDS-Formaten festgelegt werden (FDS ist ein einfacheres Format für die Angabe von Finite-Status-Maschinen, die zuerst implementiert wurde, um die Durchführbarkeit dieses Projekts nachzuweisen). Beide Parser wurden mit Antlr V3 geschrieben. Der SMV-Parser ist auch mit dem Editor verbunden, der es ermöglicht, die netten Anlagen zu verwenden, die Eclipse anbieten können (immer noch viel mehr in diesem Bereich zu erreichen). Von der anderen Hand können Algorithmus-Designer Spezifikationsdatei (SPC) laden. JTLV-Unterstützung fast alle bekannten zeitlichen Spezifikationsformat. Der SPC-Parser ist auch mit Eclipse als Redakteur verbunden, sodass die Eclipse anbieten kann. Anforderungen: · Java

Jtlv. Zugehörige Software