Systems development using Z generics

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

Volumn 1709, Issue , 1999, Pages 1048-1067

  Polack, Fiona ^a   Stepney, Susan ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b Logica United Kingdom   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949518689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_6     Document Type: Conference Paper

References (23)

1. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd Edition, 1992.
2. R. Barden, S. Stepney, D. Cooper. ZInPractice. Prentice Hall, 1994.
3. B. Potter, J. Sinclair, and D. Till. An Introduction to Formal Specification and Z. Prentice Hall, 2nd Edition, 1996.
4. J.C.P. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof Prentice Hall, 1996.
5. M. d'Inverno and M. Priestley. Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM'95: The Z Formal Specification Notation; Proceedings of Ninth International Conference of Z Users, Limerick, Ireland, September 1995, pp 83-102. LNCS 967. Springer Verlag, 1995.
6. L.T. Semmens, R.B. France, and T.W.G. Docker. Integrated Structured Analysis and Formal Specification Techniques. The Computer Journal, vol 35, no 6, 1992.
7. R. B. France and M. M. Larrondo-Petrie. A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. ZUM'95: The Z Formal Specification Notation; Proceedings of Ninth International Conference of Z Users, Limerick, Ireland, September 1995, pp 434-448. LNCS 967. Springer Verlag, 1995.
8. F. A. C. Polack, M. Whiston, and P. Hitchcock. Structured Analysis - A Draft Method for Writing Z Specifications. Proceedings of Sixth Annual Z User Meeting, York, Dec 1991. Springer Verlag, 1992.
9. F. Polack, M. Whiston, and K.C. Mander. The SAZ Project: Integrating SSADM and Z. Proceedings, FME'93: Industrial Strength Formal Methods, O dense, Denmark, April 1993. LNCS 670. Springer Verlag, 1993
10. F. Polack, M. Whiston, and K. C. Mander. The SAZ Method Version 1.1.York, YCS 207, Jan 1994.
11. I. Hayes. Specification Case Studies. Prentice Hall, 2nd Edition, 1992.
12. S. Stepney. A Tale of Two Proofs. Proceedings, 3rd Northern Formal Methods Workshop, Ilkley, Sept 1998. BCS-FACS, 1998.
13. S. Stepney, D. Cooper, and J. C. P. Woodcock. More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ZUM'98: 11th international conference of Z Users, Berlin. LNCS 1493. Springer Verlag, 1998.
14. E. Boiten and J. Derrick. IO-Refinement in Z. Proceedings, 3rd Northern Formal Methods Workshop, Ilkley, Sept 1998. BCS-FACS, 1998.
15. R. Banach and M. Poppleton. Retrenchment: An Engineering Variation on Refinement. Proceedings, B98, Montpellier, France. LNCS 1393. Springer Verlag, 1998.
16. I. Hayes. Specification Models. Z Twenty Years On: What Is Its Future?, Nantes, France, October 1995. 1995.
17. I. J. Hayes and M. Utting. Coercing real-time refinement: A transmitter Northern Formal Methods Workshop, Ilkley, UK, September 1995. 1995.
18. CCTA. SSADM Version 4 Reference Manual. NCC Blackwell Ltd, 1990.
19. H. E. D. Parker, F. Polack, and K. C. Mander The Industrial Trial of SAZ: Reflections on the Use of an Integrated Specification Method. ZTwenty Years On: What Is Its Future?, Nantes, France, October 1995.
20. F. A. C. Polack and K. C. Mander. Software Quality Assurance Using the SAZ Method. Proceedings ofEighth Annual Z User Meeting, Cambridge, June 1994. Springer Verlag, 1994.
21. L. Semmens and P. Allen. Using Yourdon and Z: an Approach to Formal Specification. Proceedings of Fifth Annual Z User Meeting, Oxford, Dec 1990. SpringerVerlag, 1991.
22. D. Redmond-Pyle and M. Josephs. Enriching a Structured Method with Z. Workshop on Methods Integration, 26 September 1991, Leeds, (unpublished)
23. C. Morgan. Programming from Specifications. Prentice-Hall, 2nd edition, 1994.