Auto-Completion Design
From Event-B
Revision as of 22:12, 3 March 2009 by imported>Mathieu (Category:Design Category:Work in progress)
Contents
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