You are here

Bridging Engineering and Formal Modeling: WebGME and Formula Integration

Artifact Details
Tamas Kecskes, Qishen Zhang, Janos Sztipanovits
Vanderbilt University
Required Tool(s): 
See the readme of the repository for necessary tools and installation information.
Programming/Modeling Languages: 
WebGME Formula
Artifact Description: 

The linked repository houses the WebGME Formula integration project.
After installation the user can try out this web-based tool on her/his own machine or even remotely if the installation was done in the cloud.

Revision Summary: 
No revisions submitted.
Artifact Files and/or Links
Artifact Development Contexts: 
Artifact Types: 
System/Software Domains: 
No votes yet