Group: OvertureTool IDE Plugins Features
1. Overture IDE Eclipse Developer Utilities Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.developerutilsGPL
2. Overture IDE Eclipse CSK VDM Tools Link Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.cskGPL
3. Overture IDE Eclipse Proof Obligation Viewer Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.poviewerGPL
4. Overture IDE Eclipse VDM Quick Interpreter Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.quickinterpreterGPL
5. Overture IDE Eclipse Combinatorial Testing Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.combinatorialtestingGPL
6. Overture IDE Eclipse Realtime Trace Viewer Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.rttraceviewerGPL
7. Overture IDE Eclipse Plugin UML2 Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.uml2GPL
8. Overture IDE Eclipse LaTeX Creator Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.latexGPL
9. Overture IDE Eclipse Coverage Editor Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.coverageeditorGPL
10. Overture IDE Eclipse Java Code Generator Feature
org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.javagenGPL