JarCasting
JarCasting JarCasting

Project Group: org.overturetool.ide.plugins

org.overture.ide.plugins.externaleditor

 org.overturetool.ide.plugins : org.overture.ide.plugins.externaleditor

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

org.overture.ide.plugins.coverageeditor

 org.overturetool.ide.plugins : org.overture.ide.plugins.coverageeditor

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

org.overture.ide.plugins.csk

 org.overturetool.ide.plugins : org.overture.ide.plugins.csk

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

org.overture.ide.plugins.quickinterpreter

 org.overturetool.ide.plugins : org.overture.ide.plugins.quickinterpreter

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

org.overture.ide.plugins.latex

 org.overturetool.ide.plugins : org.overture.ide.plugins.latex

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

org.overture.ide.plugins.poviewer

 org.overturetool.ide.plugins : org.overture.ide.plugins.poviewer

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Combinatorial Testing

 org.overturetool.ide.plugins : org.overture.ide.plugins.combinatorialtesting

Graphical tool which provides a userinterface for the combinatorial testing plugin.

Last Version: 3.0.2

Release Date:

Developer Utilities for Overture

 org.overturetool.ide.plugins : org.overture.ide.plugins.developerutils

Developer Utilities for Overture.

Last Version: 3.0.2

Release Date:

UML2 Translator

 org.overturetool.ide.plugins : org.overture.ide.plugins.uml2

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

RT Trace Viewer Plugin

 org.overturetool.ide.plugins : org.overture.ide.plugins.rttraceviewer

Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.

Last Version: 3.0.2

Release Date:

The Java Code Generator Plugin

 org.overturetool.ide.plugins : org.overture.ide.plugins.javagen

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

Overture IDE Eclipse plugin features

 org.overturetool.ide.plugins : org.overture.ide.plugins.features

Providing GUI for all integrated core plugins

Last Version: 3.0.2

Release Date:

  • 1