Author:
Derrick J.,Boiten E. A.,Bowman H.,Steen M. W. A.
Reference11 articles.
1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14 (1): 25–59, 1988.
2. H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17: 457–479, September 1995.
3. E. Cusack and G. H. B. Rafsanjani. ZEST. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z; Workshops in Computing, pages 113–126. Springer-Verlag, 1992.
4. J. Derrick, H. Bowman, and M. Steen. Maintaining cross viewpoint consistency using Z. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 413–424, Brisbane, Australia, February 1995. Chapman and Hall.
5. J. Derrick, H. Bowman, and M. Steen. Viewpoints and Objects. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, LNCS 967, pages 449–468, Limerick, September 1995. Springer-Verlag.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献