Maintaining Cross Viewpoint Consistency using Z-Reference-Cited by-同舟云学术

Maintaining Cross Viewpoint Consistency using Z

Published:1995 Issue: Volume: Page:413-424
ISSN:
Container-title:Open Distributed Processing
language:
Short-container-title:

Author:

Derrick John,Bowman Howard,Steen Maarten

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-34882-7_32

Reference16 articles.

1. H. Bowman and J. Derrick. Towards a formal model of consistency in ODP. Technical Report 3–94, Computing Laboratory, University of Kent at Canterbury, 1994.

2. H. Bowman and J. Derrick. Modelling distributed systems using Z. In K. M. George, editor, ACM Symposium on Applied Computing, pages 147–151, Nashville, February 1995. ACM Press.

3. G. Cowen, J. Derrick, M. Gill, G. Girling (editor), A. Herbert, P. F. Linington, D. Rayner, F. Schulz, and R. Soley. Prost Report of the Study on Testing for Open Distributed Processing. APM Ltd, 1993.

4. E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages. Academic Press, 1968.

5. A. Fantechi, S. Gnesi, and C. Laneve. Two standards means problems: A case study on formal protocol descriptions. Computer Standards and Interfaces, 9: 11–19, 1989.

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

1. Separation of non-orthogonal concerns in software architecture and design;Software & Systems Modeling;2006-01-19

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

3. Supporting ODP - Translating LOTOS to Z;IFIP Advances in Information and Communication Technology;1997

4. Viewpoint consistency in Z and LOTOS: A case study;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997

5. Some Results on Cross Viewpoint Consistency Checking;Open Distributed Processing;1995