Skip to content

Latest commit

 

History

History
35 lines (26 loc) · 1.22 KB

README.md

File metadata and controls

35 lines (26 loc) · 1.22 KB

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