|
About:
Ruby-UDBM is a Ruby binding for the UPPAAL DBM
library. It offers access to the federation type
(set of DBMs) and most of its operations. In
addition, a graphical viewer is provided to allow
users to visualize updates on the fly. The library
gives access to systems of constraints where clock
constraints can be declared and used as intuitive
formulas. This binding is intended to be a
research prototyping tool as well as a teaching
tool for students learning timed automata.
Author:
Alex [contact developer]
Homepage:
http://www.cs.aau.dk/~adavid/UDBM/ruby.html
Tar/GZ:
http://www.cs.aau.dk/[..]~adavid/UDBM/ureleases/ruby-udbm-0.7.tgz
Trove categories:
[change]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
8.45/10.00
(Rank N/A)
» Vitality: 0.00% (Rank 10532)
» Popularity: 0.20% (Rank 23785)

(click to enlarge graphs)
Record hits: 2,816
URL hits: 366
Subscribers: 4
|
|