Help

Category:Plugin

From Event-B
Jump to navigationJump to search

This page lists all the documents in the Plugin category.

Subcategories

This category has the following 10 subcategories, out of 10 total.

A

  • AnimB

C

  • Composition plugin

F

  • Feature composition plugin

G

  • Generic Instantiation Plug-in

P

  • Parallel composition plugin
  • ProB

R

  • Requirement Plugin

T

  • Text editor
  • Theory Plug-in

U

  • UML-B

Pages in category "Plugin"

The following 37 pages are in this category, out of 37 total.

B

  • B2C plugin
  • B2Latex

D

  • Decomposition Plug-in User Guide
  • Decomposition Release History

E

  • Event-B Statemachines

F

  • Feature Modelling Tool
  • Flows

G

  • Group refinement plugin

I

  • Installing external plug-ins manually
  • Isabelle for Rodin

M

  • Measurement Plug-In
  • Mode/FT Views
  • Model Critic
  • Modularisation Plug-in
  • Modularisation Plug-in Composition Semantics
  • Modularisation Plug-in Installation Instructions
  • Modularisation Plug-in Release Notes
  • Modularisation Plug-in Tutorial

O

  • Old Flow Plug in page
  • OldUML-B
  • Original UML-B

P

  • Pattern
  • Project Diagram

R

  • Refactoring Framework
  • Relevance Filter Plug-in
  • Rodin Editor
  • Rodin Plug-ins
  • Rose (Structured) Editor

S

  • SMT 1.4 Performance Results
  • SMT Plug-in Performance
  • SMT Solvers Plug-in
  • SMT Solvers Plug-in Developer Support

T

  • Team-based development
  • Theory Plug-in
  • Transformation patterns

U

  • UML-B

Y

  • User:YGU/SMT Solvers Plug-in
Retrieved from ‘https://wiki.event-b.org/index.php?title=Category:Plugin&oldid=13376’

Navigation menu

Page actions

  • Category
  • Discussion
  • Read
  • View source
  • History

Page actions

  • Category
  • Discussion
  • More
  • Tools

Personal tools

  • Log in

Navigation

  • Main Page
  • Event-B Language
  • Rodin Platform
  • Plug-in
  • Developer Support
  • FAQ
  • Event-B Examples
  • Industrial Projects
  • Random page
  • ''Event-B and Rodin''

Contribute

  • Wiki help
  • Village Pump
  • Recent changes

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • This page was last modified on 9 September 2008, at 20:48.
  • Privacy policy
  • About Event-B
  • Disclaimers