Experiences in using the abstract machine notation in a GKS case study-Reference-Cited by-同舟云学术

Experiences in using the abstract machine notation in a GKS case study

Published:1994 Issue: Volume: Page:93-104
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ritchie Brian,Bicarregui Juan,Haughton Howard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58555-9_90.pdf

Reference10 articles.

1. J.-R. Abrial Assigning Programs to Meanings.Prentice-Hall, 1994 (to appear).

2. J.C. Bicarregui and B.M. Matthews Architecture for Structuring Proof. B User Trials project document BUT/RAL/BMM/11/vl. Rutherford Appleton Laboratory, 1994.

3. J.C. Bicarregui and B. Ritchie Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations, in: J.C.P. Woodcock and P.G. Larsen (eds.), FME'93: Industrial-Strength Formal Methods. LNCS 670, Springer-Verlag, 1993.

4. D. A. Duce and L. B. Damnjanovic. Formal Specification in the Revision of GKS: An Illustrative Example. Computer Graphics Forum, 11(1):17–30, 1992.

5. D. A. Duce and E. V. C. Fielding. Formal Specification — A Comparison of Two Techniques. Computer Journal, 30(4):316–327, 1987.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998

2. Synthesising structure from flat specifications;Lecture Notes in Computer Science;1998

3. The Specification and Proof of an EXPRESS to SQL “Compiler”;Proof in VDM: Case Studies;1998

4. Conclusions;The B Language and Method;1996

5. Formal methods in practice: A comparison of two support systems for proof;SOFSEM '95: Theory and Practice of Informatics;1995