Help

Category:Design

From Event-B
Jump to navigationJump to search

Pages in category "Design"

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

A

  • Auto-Completion Design

D

  • Decomposition Plug-in User Guide
  • Decomposition Release History

E

  • Event Model Decomposition
  • Event-B to SMT-LIB
  • Extending Single View Design

F

  • File Root Separation

G

  • Generic Instantiation

I

  • Identifier Decomposition
  • Index Query
  • Indexing System

L

  • Language of an Event-B Component

M

  • Maplet Overriding in Goal
  • Mathematical Extensions
  • Mathematical Language Evolution Design
  • Modus Ponens generalized

P

  • Proof Manager
  • Proof Purger Design
  • Proof Skeleton Design
  • Proof Trees
  • Prover Diagrams

R

  • Records Extension
  • Refactoring Framework
  • Revisiting Feasibility POs
  • Rewriting rules for event model decomposition
  • Rodin Index Design
  • Rodin Keyboard

S

  • Single View Design
  • Strengthening the AST Library for Rodin 3.0
  • Structured Types

U

  • Undo Redo
  • Undo Redo Design
Retrieved from ‘https://wiki.event-b.org/index.php?title=Category:Design&oldid=13355’
Category:
  • Developer documentation

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 10 September 2008, at 21:28.
  • Privacy policy
  • About Event-B
  • Disclaimers