For all your dictionary needs!
Tip. You can look up words, expressions, names, titles...

Abstract machine notation


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):

Google previewEngineering for Human-Computer Interaction (2013)

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.

Google previewThe Telecommunications Illustrated Dictionary, Second Edition (2002)

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 ...

Google previewFiber Optics Illustrated Dictionary (2002)

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:

Share this page

Privacy Policy | Cookies Policy
Keyword Tool | Romanian-English Dictionary