Difference between revisions of "Auto-Completion Design"
From Event-B
Jump to navigationJump to searchimported>Nicolas (New page: == Proposed names depending on edit context == === In Context Models === ==== Axioms and Theorems ==== * Visible Sets * Visible Constants === In Machine Models === ==== Invariants, The...) |
imported>Mathieu |
||
Line 23: | Line 23: | ||
* Astract Variables | * Astract Variables | ||
* Abstract Parameters | * Abstract Parameters | ||
+ | |||
+ | [[Category:Design]] | ||
+ | [[Category:Work in progress]] |
Revision as of 22:12, 3 March 2009
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