Auto-Completion Design

From Event-B
Revision as of 22:12, 3 March 2009 by imported>Mathieu (Category:Design Category:Work in progress)
Jump to navigationJump to search

Proposed names depending on edit context

In Context Models

Axioms and Theorems

  • Visible Sets
  • Visible Constants

In Machine Models

Invariants, Theorems and Variants

  • Visible Variables
  • Visible Sets
  • Visible Constants

Guards, Witnesses and Actions

  • Visible Parameters
  • Visible Variables
  • Visible Sets
  • Visible Constants

Witness Label

  • Astract Variables
  • Abstract Parameters
Retrieved from ‘https://wiki.event-b.org/index.php?title=Auto-Completion_Design&oldid=903’