Home » org.overturetool.ide » plugins

Group: OvertureTool IDE Plugins
Sort by:Popular▼

1.Combinatorial Testing

org.overturetool.ide.plugins » org.overture.ide.plugins.combinatorialtesting GPL

Graphical tool which provides a userinterface for the combinatorial testing plugin.
Last Release on Nov 10, 2020

2.Overture IDE Plugins Coverageeditor

org.overturetool.ide.plugins » org.overture.ide.plugins.coverageeditor GPL

Overture IDE Plugins Coverageeditor
Last Release on Nov 10, 2020

3.Overture IDE Plugins CSK

org.overturetool.ide.plugins » org.overture.ide.plugins.csk GPL

Overture IDE Plugins CSK
Last Release on Nov 10, 2020

4.Developer Utilities For Overture

org.overturetool.ide.plugins » org.overture.ide.plugins.developerutils GPL

Developer Utilities for Overture.
Last Release on Nov 10, 2020

5.Overture IDE Plugins Externaleditor

org.overturetool.ide.plugins » org.overture.ide.plugins.externaleditor GPL

Overture IDE Plugins Externaleditor
Last Release on Nov 10, 2020

6.The Java Code Generator Plugin

org.overturetool.ide.plugins » org.overture.ide.plugins.javagen GPL

The Java Code Generator Plugin
Last Release on Nov 10, 2020

7.Overture IDE Plugins LaTeX

org.overturetool.ide.plugins » org.overture.ide.plugins.latex GPL

Overture IDE Plugins LaTeX
Last Release on Nov 10, 2020

8.Overture IDE Plugins Poviewer

org.overturetool.ide.plugins » org.overture.ide.plugins.poviewer GPL

Overture IDE Plugins Poviewer
Last Release on Nov 10, 2020

9.Overture IDE Plugins Quickinterpreter

org.overturetool.ide.plugins » org.overture.ide.plugins.quickinterpreter GPL

Overture IDE Plugins Quickinterpreter
Last Release on Nov 10, 2020

10.RT Trace Viewer Plugin

org.overturetool.ide.plugins » org.overture.ide.plugins.rttraceviewer GPL

Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.
Last Release on Nov 10, 2020

11.UML2 Translator

org.overturetool.ide.plugins » org.overture.ide.plugins.uml2 GPL

UML2 Translator
Last Release on Nov 10, 2020