Refactoring in maintenance and development of Z specifications and proofs

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 3, 2002, Pages 50-69

  Stepney, Susan ^a   Polack, Fiona ^b   Toyn, Ian ^b  

^a Logica United Kingdom   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Patterns; Refactoring; Refinement; Z

Indexed keywords

CODES (SYMBOLS); COMPUTER OPERATING SYSTEMS; MAINTAINABILITY; PROGRAM COMPILERS;

PATTERNS; REFACTORING; REFINEMENT; REFINEMENT TOOLSET;

COMPUTER SCIENCE;

EID: 8444232199     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80485-2     Document Type: Conference Paper

References (13)

1. Barden, R., S. Stepney and D. Cooper, "Z in Practice," BCS Practitioners Series, Prentice Hall, 1994.
2. Beck, K., "Extreme Programming Explained," Addison-Wesley, 2000.
3. Dyer, M., "The Cleanroom Approach to Quality Software Development," Wiley, 1992.
4. Fowler, M., "Refactoring: improving the design of existing code," Addison-Wesley, 1999.
5. France, R. B. (2002), (private communication).
6. Gamma, E., R. Helm, R. Johnson and J. Vlissides, "Design Patterns," Addison-Wesley, 1995.
7. ISO/IEC 13568, "Information Technology - Z Formal Specification NotationSyntax, Type System and Semantics: International Standard," (2002).
8. Morgan, C. C., "Programming from Specifications," Prentice Hall, 1990.
9. Stepney, S., Incremental development of a high integrity compiler: experience from an industrial development, in: Third IEEE High-Assurance Systems Engineering Symposium (HASE'98), Washington DC, 1998.
10. Stepney, S., A tale of two proofs, in: BCS-FACS Third Northern Formal Methods Workshop, Ilkley (1998).
11. Stepney, S. and D. Cooper, Formal methods for industrial products, in: J. P. Bowen, S. Dunne, A. Galloway and S. King, editors, ZB2000: First International Conference of B and Z Users, York, August 2000, Lecture Notes in Computer Science 1878 (2000).
12. Stepney, S., D. Cooper and J. Woodcock, An electronic purse: Specification, refinement, and proof, Technical Monograph PRG-126, Programming Research Group, Oxford University Computing Laboratory (2000).
13. Stepney, S. and F. Polack, A pattern language for Z, (in preparation).