Author:
Barden Rosalind,Stepney Susan,Cooper David
Reference36 articles.
1. Jean-Raymond Abrial. A refinement case study (using the Abstract Machine Notation). In Joseph M. Morris and Roger C. Shaw, editors, 4th Refinement Workshop, Workshops in Computing, pages 51–96. Springer Verlag, 1991.
2. Rosalind Barden, Susan Stepney, and David Cooper. Report of a survey into the use of Z. ZIP document ZIP/Logica/91/094, Logica Cambridge Ltd., December 1991.
3. Geoff Barrett. Formal methods applied to a floating-point number system. IEEE Transactions on Software Engineering, SE-15(5): 611–621, May 1989.
4. David Brownbridge. Using Z to develop a CASE toolset. In [Nicholls 1990], pages 142–149.
5. A. J. J. Dick, P. J. Krause, and J. Cozens. Computer aided transformation of Z into Prolog. In [Nicholls 1990], pages 71–85.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Refinement and the Z Schema Calculus;Electronic Notes in Theoretical Computer Science;2002-11
2. Formal Methods for Industrial Products;ZB 2000: Formal Specification and Development in Z and B;2000
3. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998
4. Safety-critical systems, formal methods and standards;Software Engineering Journal;1993
5. The industrial take-up of formal methods in safety-critical and other areas: A perspective;Lecture Notes in Computer Science;1993