Computer Aided Transformation of Z into Prolog-Reference-Cited by-同舟云学术

Computer Aided Transformation of Z into Prolog

Published:1990 Issue: Volume: Page:71-85
ISSN:1431-1682
Container-title:Workshops in Computing
language:
Short-container-title:

Author:

Dick A. J. J.,Krause P. J.,Cozens J.

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3877-8_5

Reference11 articles.

1. A. J. J. Dick & P. J. Krause [ 1989 ], “Computer Aided Transformation of Prolog Specifications”, Tech. Report 10–1702, Racal Research Ltd., Worton Drive, Reading

2. I. Hayes (Ed.) [1987], “Specification Case Studies”, Prentice Hall

3. R. D. Knott and P. J. Krause [ 1988a ], “An approach to animating Z using Prolog” Report A1.1, Alvey Project SE/065, Dept. Maths, Univ. Surrey.

4. R. D. Knott and P. J. Krause [ 1988b ], “LIBRARY SYSTEM: an example of rapid prototyping of a Z specification in Prolog” Report A1.2, Alvey Project SE/ 065, Dept. Maths, Univ. Surrey.

5. P. J. Krause, R. D. Knott and P. J. Byers [ 1989 ], “Lift System Animation” Report A2.1, Alvey Project SE/065, Dept. Maths, Univ. Surrey.

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

1. From Software Specifications to Constraint Programming;Software Engineering and Formal Methods;2018

2. A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM;Formal Methods and Software Engineering;2011

3. A toolset to support the construction and animation of formal specifications;Journal of Systems and Software;1998-06

4. Isomorph-free model enumeration;ACM Transactions on Programming Languages and Systems;1998-03

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