Pinned Repositories
MD_plugin_skeleton
MagicDraw plug-in development harness
DFNModeler-2014
Repository for model driven software development homework in 2014. We create a dataflow network modeler and support for generating code and graphs.
incquery-examples-cps
A comprehensive example showing off EMF-IncQuery features on a Cyber Physical System modeling domain
MagicDraw-M2M-Transformer
Eclipse plugin-in that transforms a MagicDraw state machine model to a standard MDT UML instance
MDValidator
Eclipse plug-in that enables IncQuery pattern based validation on MagicDraw models
org.eclipse.viatra
FORK of the VIATRA Eclipse project
org.eclipse.viatra.debugger.examples
rifl1
rifl1
xsemantics
XSemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).
massif
Massif is a Matlab Simulink Integration Framework for Eclipse
lunkpeter's Repositories
lunkpeter/MDValidator
Eclipse plug-in that enables IncQuery pattern based validation on MagicDraw models
lunkpeter/DFNModeler-2014
Repository for model driven software development homework in 2014. We create a dataflow network modeler and support for generating code and graphs.
lunkpeter/incquery-examples-cps
A comprehensive example showing off EMF-IncQuery features on a Cyber Physical System modeling domain
lunkpeter/MagicDraw-M2M-Transformer
Eclipse plugin-in that transforms a MagicDraw state machine model to a standard MDT UML instance
lunkpeter/org.eclipse.viatra
FORK of the VIATRA Eclipse project
lunkpeter/org.eclipse.viatra.debugger.examples
lunkpeter/rifl1
rifl1
lunkpeter/xsemantics
XSemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).