Abstract machine notation
On this page:
The abstract machine notation is a specification language and programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.
Printed dictionaries and other books with definitions for Abstract machine notation
Click on a title to look inside that book (if available):
IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction September 14–18, 1998, Heraklion, Crete, Greece by Stéphane Chatty, Prasun Dewan
The abstract machine notation is the basic mechanism of the B method. J. R. Abrial defined three kinds of machines identified by the keywords MACHINE, REFINEMENT and IMPLEMENTATION. The first one represents the high level of specification. It expresses formal specification in a high abstract level language. The second one defines the different intermediate steps of refinement and finally the third one reaches the implementation level.
by J.K. Petersen
Abstract Machine Notation AMN. A language for specifying and designing software systems of relevance to abstract machines (virtual robots could be considered a type of abstract machine). See B-Technologies. abstract syntax A means of specifying notational rules independently of the encoding used to represent the information. This is useful for defining and developing systems that may be implemented or expanded without foreknowledge of the final configuration of the system or ...
by J.K. Petersen
AMN See Abstract Machine Notation. AMP See advanced metal powder. ampacity The current-carrying capability, in amperes, of a circuit or cable. Typically ampacity is specified in product descriptions to indicate various types of cable assemblies, which may collectively consist of various combinations of ...
Online dictionaries and encyclopedias with entries for Abstract machine notation
Click on a label to prioritize search results according to that topic: