Auto-Completion Design: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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
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
