1994 | OriginalPaper | Chapter
Z and Abstract Machine Notation: A Comparison
Authors : Antoni Diller, Rosemary Docherty
Published in: Z User Workshop, Cambridge 1994
Publisher: Springer London
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this paper we compare the formal specification languages Z and Abstract Machine Notation (AMN); the latter of which is due to Abrial. The strategy adopted is that of presenting the same specification both in Z and AMN and of commenting on salient differences as they arise. The specification chosen is a slightly revised version of the specification of an Internal Telephone Number Database found in chapter 4 of [4]. At the end of the paper some general conclusions are drawn.