Verifying model oriented specifications through animation

Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998

Volumn 1998-December, Issue , 1998, Pages 254-261

  Kazmierczak, Ed ^a   Winikoff, Michael ^a,b   Dart, Philip ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b Inst for Software Research   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; SPECIFICATIONS;

AUTOMATED REASONING; LIGHT WEIGHT; MANAGEMENT SYSTEMS; Z SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 84945502988     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1998.733727     Document Type: Conference Paper

References (20)

1. J. Bicarregui, J. Dick, B. Matthews, and E. Woods. Making the most of formal specification through animation, testing and proof. Science of Computer Programming, 29:53-78, 1997.
2. S. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Amp, and D. Hamilton. Experiences using lightweight formal methods for requirements engineering. IEEE Transactions on Software Engineering, 24(1), 1998.
3. D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. Manuscript, May 1998.
4. M. A. Hewitt, C. M. O'Halloran, and C. T. Sennett. Experiences with PiZA, an animator for Z. In J. P. Bowen, M. G. Hinchey, and D. Till, editors, ZUM'97: The Z Formal Specification Notation, pages 37-51. Springer, Apr. 1997. LNCS 1212.
5. D. Jackson and J.Wing. Lightweight formal methods. IEEE Computer, 29(4):21, April 1996.
6. X. Jia. A pragmatic approach to formalizing object-oriented modeling and development. In Proc. 21st Annual Int'l Computer Software and Applications Conf., pages 240-245, Washington, D.C., USA, Aug. 1997.
7. P. Lindsay and E. Van Keulen. Case studies in the verification of specifications in VDMand Z. Technical Report 94-3, Software Verification ResearchCenter, Department of Computer Science, The University of Queensland,March 1994.
8. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
9. D. Murthy, N. Page, and E. Rodin. Mathematical Modelling: A Tool for Problem Solving in Engineering Physical, Biological and Social Sciences. Pergamon Press, 1990.
10. Software Engineering Standards Commitee of the IEEE. IEEE Recommended Practice for Software Requirements Specifications. IEEE, 1993.
11. Z. Somogyi, F. Henderson, and T. Conway. Mercury: an efficient purely declarative logic programming language. In Proceedings of the Australian Computer Science Conference, pages 499-512, February 1995.
12. J.M. Spivey. The Z Notation: A ReferenceManual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
13. J. M. Spivey. Richer types for Z. Formal Aspects of Computing, 8:565-584, 1996.
14. J. M. Spivey and B. A. Sufrin. Type inference in Z. In D. Bjoørner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z -Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 426-438.VDM-Europe, Springer-Verlag, 1990.
15. A. Starfield, K. Smith, and A. Bleloch. How to Model It: Problem Solving for the Computer Age. McGraw-Hill Publishing Company, 1990.
16. L. Sterling, P. Ciancarini, and T. Turnidge. On the animation of "not executable" specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63-87, 1996.
17. M. M. West and B. M. Eaglestone. Software development: Two approaches to animation of Z specifications using Prolog. IEE/BCS Software Engineering Journal, 7(4):264-276, July 1992.
18. M. Winikoff. Analysing modes and subtypes in Z specifications. Technical Report 98/2, Department of Computer Science, Melbourne University, 1998.
19. M. Winikoff and P. Dart. Translating Z to logic. Technical Report 97/14, Department of Computer Science,Melbourne University, 1997.
20. M. Winikoff, P. Dart, and E. Kazmierczak. Rapid prototyping using formal specifications. In C. McDonald, editor, Proceedings of the 21st Australasian Computer Science Conference,pages 279-293. Springer-Verlag, February 1998.