Compositional class refinement in Object-Z

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 205-220

  McComb, Tim ^a   Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SCIENCE; CONSTRAINT THEORY; EQUIVALENCE CLASSES;

CLASS REFINEMENT; EQUIVALENCE TRANSFORMATION; OBJECT-Z SPECIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 33749423834     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_15     Document Type: Conference Paper

References (11)

1. A. Cavalcanti, A. Sampaio, and J. Woodcock. Unifying classes and processes. Software and System Modelling, 4(3):277-296, 2005.
2. J. Derrick and E. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Applications. Springer-Verlag, 2001.
3. C. Fischer. CSP-OZ - a combination of CSP and Object-Z. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), pages 423-438. Chapman & Hall, 1997.
4. B. Mahony and J.S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, 2000.
5. T. McComb. Refactoring Object-Z specifications. In M. Wermelinger and T. Margaria-Steffen, editors, Fundamental Approaches to Software Engineering (FASE '04), volume 2984 of Lecture Notes in Computer Science, pages 69-83. Springer-Verlag, 2004.
6. T. McComb and G. Smith. Architectural design in Object-Z. In P. Strooper, editor, Australian Software Engineering Conference (ASWEC '04), pages 77-86. IEEE Computer Society Press, 2004.
7. G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C. Jones, and P. Lucas, editors, Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 62-81. Springer-Verlag, 1997.
8. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer, 2000.
9. G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods in System Design, 18(3):249-284, 2001.
10. G. Smith and J. Derrick. Abstract specification in Object-Z and CSP. In C. George and Huaikou Miao, editors, International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science, pages 108-119. Springer-Verlag, 2002.
11. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.