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
