Help

Category:Design proposal

From Event-B
Jump to navigationJump to search

Pages in category "Design proposal"

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

B

  • Billaude's work to finish

C

  • Constrained Dynamic Lexer
  • Constrained Dynamic Parser
  • Current Proof Tree Node in UI

E

  • Element Hierarchy Extension Point & Library
  • EMF framework for Event-B
  • Extended Operator Translation
  • Extending Refinement Actions

G

  • Generic Instantiation Proposal

M

  • Membership in Goal

P

  • Proof Simplification
  • Proposals of Changes to the Mathematical Language Specification

R

  • ReqsManagement
  • Requirements for merging models

S

  • Scenarios for Merging Proofs
  • Scenarios for Team-based Development
  • Stronger AST Library
Retrieved from ‘https://wiki.event-b.org/index.php?title=Category:Design_proposal&oldid=13357’
Categories:
  • Developer documentation
  • Work in progress

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 11 December 2008, at 21:45.
  • Privacy policy
  • About Event-B
  • Disclaimers