The palettes are available on the
TopBar
Browse pull-down,
and provide templates for
machines,
refinements
and
implementations,
and lists of the types of
Abstract Machine
operations
available for each of these constructs:
- Machines
- Machines Ops
- Refinements
- Refinement Ops
- Implementations
- Implementation Ops
Templates are also provided for:
- Bases
- Documents
- Enumerations
- Interfaces
A full on-line help listing is available
in the Contents Page
Also available in the form of a complete
Index.
© B-Core
(UK) Limited, Last updated: 22 Feb 2002