Bridging Engineering and Formal Modeling: WebGME and Formula Integration

Submitted by tamaskecskes on Fri, 07/14/2017 - 15:25
Tu
Artifact Details
Author(s): 
Tamas Kecskes, Qishen Zhang, Janos Sztipanovits
Organization(s): 
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
Links: 
Github repository of the project
Tags
Artifact Development Contexts: 
Research Project
Artifact Types: 
Tool
System/Software Domains: 
Internet/Web-based/Cloud Software
Keywords: 
WebGME
Formula
DSML
Model transformation
Constraint Programming
Rating: 
0
No votes yet