| Juni 2020 | |
So |
Mo |
Di |
Mi |
Do |
Fr |
Sa |
| 1 | 2 | 3 | 4 | 5 | 6 |
7 | 8 | 9 | 10 | 11 | 12 | 13 |
14 | 15 | 16 | 17 | 18 | 19 | 20 |
21 | 22 | 23 | 24 | 25 | 26 | 27 |
28 | 29 | 30 | | |
Application datasets: 20716
Version datasets: 149381
DBApp v1.06
Copyright © demon
|
|
Programm-Informationen |
Applikation: | Ruby-UDBM |
Version(en): | Hauptzweig | 0.7 | Lizenz: | GNU General Public License Version 2 oder neuer |
Homepage: | http://www.cs.aau.dk/~adavid/UDBM/ruby.html |
Kategorie: | Konsole |
Beschreibung: |
Ruby-UDBM ist eine Ruby-Bindung für die Bibliothek UPPAAL DBM. Es bietet Zugang zum Federation-Typ (Satz von DBMs) und zu den meisten seiner Operationen. Zusätzlich wird ein graphischer Betrachter zur Verfügung gestellt, um Benutzern zu erlauben, Updates schnell sichtbar zu machen. Die Bibliothek gestattet Zugang zu den Systemen von Begrenzungen, in denen Taktgeber-Begrenzungen als intuitive Formeln erklärt werden und verwendet werden können. Diese Bindung soll ein Prototyp-Werkzeug für die Forschung sowie ein Unterrichts-Werkzeug für Studenten sein, die zeitgesteuerte Automaten erlernen. |
|
Weitere Informationen |
Programmiersprache: | Keine Angaben |
Betriebsysteme: | |
Zielgruppe: | |
|
Neue Version melden
Neue Homepage melden
Neue Beschreibung
Lizenzänderung
Kategorie-Änderung
"Weitere Informationen" ändern
Weitere Anmerkungen
|
|
|