https://github.com/overturetool/tempo-ui
UI bindings for Overture models with DukeScript
https://github.com/overturetool/tempo-ui
Last synced: over 1 year ago
JSON representation
UI bindings for Overture models with DukeScript
- Host: GitHub
- URL: https://github.com/overturetool/tempo-ui
- Owner: overturetool
- Created: 2016-01-13T12:42:23.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-02-07T13:17:19.000Z (over 10 years ago)
- Last Synced: 2025-01-05T09:42:03.684Z (over 1 year ago)
- Language: Java
- Homepage:
- Size: 80.1 KB
- Stars: 0
- Watchers: 7
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
TempoUI -- Modern UIs for VDM
===
General Information
---
TempoUI is a library for building HTML5-based UIs for VDM models using DukeScript
and Overture.
To install TempoUI, check it out and build with Maven; `mvn install -f tempoui/pom.xml`.
Usage
---
To use TempoUI, create a DukeScript Maven project and add the following dependency:
```
org.overturetool
tempoui
1.0-SNAPSHOT
```
For more, see https://github.com/overturetool/tempo-ui/wiki/How-To-Use
Development
---
This project contains several subdirectories:
* The main TempoUI library is found in `tempoui`
* Build scripts are in `scripts`
* A demonstration example is available in `example`
* The `demo1` folder has an old proof-of-concept demo of Overture-DukeScript
integration.