https://github.com/overturetool/guibuilder
Automated GUI constructions from VDM models
https://github.com/overturetool/guibuilder
Last synced: 9 months ago
JSON representation
Automated GUI constructions from VDM models
- Host: GitHub
- URL: https://github.com/overturetool/guibuilder
- Owner: overturetool
- Created: 2016-02-05T21:12:47.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-02-05T22:09:01.000Z (over 10 years ago)
- Last Synced: 2025-02-23T18:20:49.653Z (over 1 year ago)
- Language: Java
- Size: 2.73 MB
- Stars: 0
- Watchers: 8
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# GUI Builder
- **Primary Contacts:**
Luis Diogo Couto
- **Status:**
Maintenance
## Description
This module integrates an external tool for prototyping GUIs for VDM models.
The tool primarily uses the remote control features of the Overture interpreter
and in combination with a special control class called
`org.overture.guibuilder.GuiBuilderRemote`.
The `src` folder and `pom.xml` integrate the main GUI Builder into the Overture
code base. The `ide` folder contains projects to further integrate it into the
Eclipse-based Overture IDE.
In order to use the tool, a jar that provides the GUI Builder is necessary.
That jar can be built by invoking `mvn assembly:single` on this module. Be sure
to grab the one named `custom-dependencies`.
For more information about the original GUI Builder tool see:
Nunes, C., & Paiva, A. (2011, October). Automatic Generation of Graphical User
Interfaces From VDM++ Specifications. In ICSEA 2011, The Sixth International
Conference on Software Engineering Advances.
## Known Issues:
VDM-SL models are not supported
## Contributors:
- Carlos Nunes wrote the original GUI builder
- Kenneth Lausdahl integrated it with the Overture build
- Luis Diogo Couto integrated it with the Overture tool itself