Author:
Linington P. F.,Derrick J.,Bowman H.
Reference43 articles.
1. E. Boiten, J. Derrick, H. Bowman, and M.Steen. Consistency and refinement for partial specification in Z. In M.-C. Gaudel and J. Woodcock, editors, FME’96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287 306. Springer-Verlag, March 1996.
2. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14 (1): 25–59, 1988.
3. H. Bowman, L. Blair, G. S. Blair, and A. Chetwynd. Formal description of distributed multimedia systems; an assessment of potential techniques. Computer Communications, 18 (12): 964–977, 1995.
4. H. Bowman, E.A.Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems,Paris, March 1996. Chapman and Hall. To appear.
5. D. Carrington and P. Stocks. A tale of two paradigms: Formal methods and software testing. In J.P. Bowen and J.A. Hall, editors, ZUM’94, Z User Workshop, pages 51–68, Cambridge, United Kingdom, June 1994.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献