More powerful Z data refinement: Pushing the state of the art in industrial refinement

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

Volumn 1493, Issue , 1998, Pages 284-309

  Stepney, Susan ^a   Cooper, David ^a   Woodcock, Jim ^b  

^a Logica United Kingdom   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DATA REFINEMENTS; DECISION POINTS; INDUSTRIAL-SCALE APPLICATIONS; INPUT/OUTPUT; PROOF OBLIGATIONS; SECURITY IMPLICATIONS; SECURITY-CRITICAL; STATE OF THE ART;

FORMAL SPECIFICATION;

EID: 84957619083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056040     Document Type: Conference Paper

References (13)

1. David Cooper, Susan Stepney, and Jim Woodcock. Refinement: Theory and Practice. In preparation. 308
2. Mike Flynn, Tim Hoverd, and David Brazier. Formaliser - An interactive support tool for Z. In John E. Nicholls, editor, Z User Workshop, Oxford 1989, Workshops in Computing, pages 128-141. Springer-Verlag, 1990. 287
3. He Jifeng, C. A. R. Hoare, and Jeff W. Sanders. Data refinement refined (resumé). In B. Robinet and R. Wilhelm, editors, ESOP’86, Lecture Notes in Computer Science, volume 213, pages 187-196. Springer-Verlag, 1986. 296, 297, 298, 299
4. Mark B. Josephs. Specifying reactive systems in Z. Technical Report TR-19-91, Programming Research Group, Oxford University Computing Laboratory, UK, 1991. 303
5. D.J. King and R.D. Arthan. Development ofPract ical Verification Tools. The ICL Systems Journal, 11(1), May 1996. 293
6. Irwin Meisels and Mark Saaltink. The Z/EVES Reference Manual, Technical Report TR-97-5493-03c. ORA, 267 Richmond Road, Suite 100, Ottawa, Ontario, K1Z 6X3, Canada, June 1997. URL: http://www.ora.on.ca/z-eves/ 293
7. J. Michael Spivey. The fuzz Manual. Computer Science Consultancy, UK, 2nd edition, 1992. URL: ftp://ftp.comlab.ox.ac.uk/pub/Zforum/fuzz 287
8. J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992. 284, 285, 294
9. Susan Stepney. Formaliser Home Page. URL: http://public.logica.com/˜formaliser/ 287
10. Ben Strulo. How firing conditions help inheritance. In Jonathan P. Bowen and Michael G. Hinchey, editors, ZUM’95: The Z Formal Specification Notation, Lecture Notes in Computer Science, volume 967, pages 264-275. Springer-Verlag, 1995. 303
11. Ian Toyn. Formal reasoning in the Z notation using CADiZ. In N. A. Merriam, editor, 2nd International Workshop on User Interface Design for Theorem Proving Systems. Department ofCom puter Science, University ofY ork, July 1996. URL: http://www.cs.york.ac.uk/˜ian/cadiz/home.html 293
12. Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall International Series in Computer Science, 1996. 288, 295, 298
13. Z Notation version 1.2. Committee Draft Standard: CD13568. ISO panel JTC1/SC22/WG19, BSI panel IST/5/-/19/2, September 1995. URL: http://www.comlab.ox.ac.uk/oucl/groups/zstandards/ 294, 299, 301