Viewpoint consistency in Z and LOTOS: A case study-Reference-Cited by-同舟云学术

Viewpoint consistency in Z and LOTOS: A case study

Published:1997 Issue: Volume: Page:644-664
ISSN:0302-9743
Container-title:FME '97: Industrial Applications and Strengthened Foundations of Formal Methods
language:
Short-container-title:

Author:

Boiten Eerke,Bowman Howard,Derrick John,Steen Maarten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63533-5_34.pdf

Reference30 articles.

1. M. Ainsworth, A. H. Cruickshank, P. J. L. Wallis, and L. J. Groves. Viewpoint specification and Z. Information and Software Technology, 36(1):43–51, February 1994.

2. M. Ainsworth, S. Riddle, and P.J.L. Wallis. Formal validation of viewpoint specifications. Software Engineering Journal, 11(1):58–66, January 1996.

3. E. Boiten, J. Derrick, H. Bowman, and M. Steen. Consistency and refinement for partial specification in Z. In Gaudel and Woodcock [16], pages 287–306.

4. H. Bowman, E.A. Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In E. Najm and J.-B. Stefani, editors, First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, pages 189–204, Paris, March 1996. Chapman & Hall.

5. H. Bowman, E.A. Boiten, J. Derrick, and M. Steen. A formal theory of viewpoint consistency. Submitted for publication, 1997.

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

1. Extending Interface Automata with Z Notation;Fundamentals of Software Engineering;2012

2. Managing Artifacts with a Viewpoint-Realization Level Matrix;Relating Software Requirements and Architectures;2011

3. Consistency Management within Model-Based Object-Oriented Development of Components;Formal Methods for Components and Objects;2004

4. Loose Specification and Refinement in Z;ZB 2002:Formal Specification and Development in Z and B;2002

5. A methodology for specifying and analyzing consistency of object-oriented behavioral models;ACM SIGSOFT Software Engineering Notes;2001-09