Towards more flexible development of Z specifications

Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008

Volumn , Issue , 2008, Pages 281-288

  Fu, Zheng ^a   Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; QUALITY ASSURANCE; RELIABILITY; SOFTWARE ENGINEERING;

INTERNATIONAL SYMPOSIUM; SOFTWARE SYSTEMS; Z SPECIFICATIONS;

SPECIFICATIONS;

EID: 51749119424     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2008.20     Document Type: Conference Paper

References (20)

1. R. Banach, M. Poppleton, C. Jeske, and S. Stepney. Engineering and theoretical underpinnings of retrenchment. Science of Computer Programming, 67(2-3):301-329, 2007.
2. J. Bredereke. Families of formal requirements in telephone switching. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications and Software Systems (FIW 2000), pages 257-273. IOS Press, 2000.
3. W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge University Press, 1998.
4. J. Derrick and E. Boiten. Refinement in Z and Object-Z, Foundations and Advanced Applications. Springer-Verlag, 2001.
5. E. Emerson. Temporal and modal logic. In J. van Leeuwen, editor Handbook of Theoretical Computer Science, volume B, pages 996-1072. Elsevier Science Publishers, 1990.
6. S. Guerra. Defaults in the Specification of Reactive Systems. PhD thesis, Department of Computer Science, University College London, 1999.
7. I. Hayes and J. Sanders. Specification by interface separation. Formal Aspects of Computing, 7(4):430-439, 1995.
8. S. Liu. Evolution: A more practical approach than refinement for software development. In IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'97), pages 142-151. IEEE Computer Society, 1997.
9. T. McComb. Refactoring Object-Z Specifications. In M. Wermelinger and T. Margaria-Steffen, editors, EASE'04: Fundamental Approaches to Software Engineering, volume 2984 of Lecture Notes in Computer Science, pages 69-83. Springer-Verlag, 2004.
10. T. McComb and G. Smith. A minimal set of refactoring rules for Object-Z. In FMOODS 2008: Formal Methods for Open Object-Based Distributed Systems, Lecture Notes in Computer Science. Springer-Verlag, 2008.
11. C. Morgan. Programming from Specifications. Prentice Hall, 1990.
12. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
13. G. Smith. Stepwise development from ideal specifications. In J. Edwards, editor, Australasian Computer Science Conference (ACSC 00), volume 22(1) of Australian Computer Science Communications, pages 227-233. IEEE Computer Society Press, 2000.
14. G. Smith and J. Derrick. Linear temporal logic and Z refinement. In C. Rattray and S. Maharaj, editors, Algebraic Methodology and Software Technology (AMAST 2004), volume 3116 of LNCS, pages 117-131. Springer-Verlag, 2004.
15. G. Smith and L. Wildman. Model checking Z specifications using SAL. In H. Treharne, S. King, M. Henson, and S. Schneider, editors, International Conference of Z and B Users (ZB 2005), volume 3455 of LNCS, pages 87-105. Springer-Verlag, 2005.
16. G. Smith and K. Winter. Proving temporal properties of Z specifications using abstraction. In D. Bert, J. Bowen, S. King, and M. Waldén, editors, International Conference of Z and B Users (ZB 2003), volume 2651 of LNCS, pages 260-279. Springer-Verlag, 2003.
17. W. Swartout and R. Balzer. On the inevitable intertwining of specification and implementation. Communications of the ACM, 25(7):438-440, 1982.
18. A. van Lamsweerde, R. Darimont, and P. Massonet. Goaldirected elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In Second IEEE Symposium on Requirements Engineering (RE'95), pages 194-203. IEEE Computer Society Press, 1995.
19. A. van Schouwen, D. Parnas, and J. Madey. Documentation of requirements for computer systems. In First IEEE Symposium on Requirements Engineering (RE'93), pages 198-207. IEEE Computer Society Press, 1993.
20. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996.