Verifying requirements through mathematical modelling and animation

International Journal of Software Engineering and Knowledge Engineering

Volumn 10, Issue 2, 2000, Pages 251-273

  Kazmierczak, Edmund ^a   Dart, Philip ^a   Sterling, Leon ^a   Winikoff, Michael ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION LANGUAGES; LOGIC PROGRAMMING; MATHEMATICAL MODELS; RAPID PROTOTYPING; REQUIREMENTS ENGINEERING; SEMANTICS; THEOREM PROVING;

LOGIC PROGRAMS; MANAGEMENT SYSTEM SPECIFICATION; MATHEMATICAL MODELLING; OPERATIONAL SEMANTICS;

SOFTWARE ENGINEERING;

EID: 0034166036     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0218-1940(00)00014-6     Document Type: Article

References (38)

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 (1997) 53-78.
2. W. Bischofberger and G. Pomberger, Prototyping-Oriented Software Development: Concepts and Tools, Texts and Monographs in Computer Science, Springer-Verlag, 1992.
3. A. Bloesch, E. Kazmierczak, P. Kearney, J. Staples, O. Traynor, and M. Utting, "A formal reasoning environment for SUM - A Z-based specification language", in Proc. Australasian Computer Science Conference, ed. K. Ramamohanarao, February 1996, Springer-Verlag, pp. 35-44.
4. P. T. Breuer and J. P. Bowen, "Towards correct executable semantics for Z", in Z User Workshop, Cambridge 1994, pp. 185-209.
5. K. H. Curtis, B. Iscoe and N. Iscoe, "A field study of the software design process for large systems", Commun. ACM 31 (1988) 1268-1287.
6. M. Fitting, First Order Logic and Automated Theorem Proving, Springer, 2nd ed., 1996.
7. N. E. Fuchs, "Specifications are (preferably) executable", IEE/BCS Software Engineering Journal 7 (1992) 323-334.
8. H. S. Goodman, "Animating Z specifications in Haskell using a monad", Technical report CSR-93-10, School of Computer Science, University of Birmingham, Birmingham, England, B15 2TT, August 1993.
9. H. S. Goodman, "The Z-into-Haskell tool-kit", Technical report CSR-95-1, School of Computer Science, University of Birmingham, Birmingham, England, B15 2TT, April 1995.
10. D. Hazel, P. Strooper and O. Traynor, "Requirements engineering and verification using specification animation", in Proc. 13th IEEE Int. Conf. on Automated Software Engineering, eds. A. Quilici, B. Nuseibeh and D. Redmiles, IEEE Computer Society, Los Alamitos, California, 1998, pp. 302-305.
11. M. A. Hewitt, C. M. O'Halloran, and C. T. Sennett, "Experiences with PiZA, an animator for Z", in ZUM'97: TheZ Formal Specification Notation, eds. J. P. Bowen, M. G. Hinchey, and D. Till, Springer, April 1997, LNCS 1212, pp. 37-51.
12. D. Jordan, J. A. McDermid, and I. Toyn, "CADiZ - computer aided design in Z", in Z User Workshop, Oxford 1990, ed. J. E. Nicholls, Workshops in Computing, Springer-Verlag, 1991, pp. 93-104.
13. P. Lindsay and E. van Keulen, "Case studies in the verification of specifications in VDM and Z", Technical Report 94-3, Software Verification Research Centre, Department of Computer Science, The University of Queensland, March 1994.
14. J. W. Lloyd, Foundations of Logic Programming, second edition, Springer-Verlag, 1987.
15. P. Loucopoulos and V. Karakstas, System Requirements Engineering, McGraw-Hill, 1995.
16. Luqi, "Software evolution through rapid prototyping", IEEE Computer 22 (1989) 13-25.
17. Luqi, "Status report: Computer-aided prototyping", IEEE Software 9 (1992) 77-81.
18. Luqi and J. A. Goguen, "Formal methods: Promises and problems", IEEE Software 14 (1997) 73-85.
19. R. R. Lutz, Targeting safety-related errors during software requirements analysis, in Proc. SIGSOFT '93, Foundations of Software Engineering, 1993, pp. 99-105.
20. P. Mellor, "CAD: Computer aided disaster", High Integrity Systems 1 (1994) 101-156.
21. R. Milner, Communication and Concurrency, International Series in Computer Science, Prentice-Hall, 1989.
22. D. N. P. Murthy, N. W. Page, and E. Y. Rodin, Mathematical Modeling: A Tool for Problem Solving in Engineering Physical, Biological and Social Sciences, Pergamon Press, 1990.
23. Ministry of Defence, Interim Defence Standard 00-56 Issue 1: Hazard Analysis and Safety Classification of the Computer and Programmable Elecronic System Elements of Defence Equipment, Ministry of Defence, United Kingdom, April 1991.
24. R. Pressman, Software Engineering: A Practitioner's Approach, fourth edition, McGraw-Hill, 1997.
25. P. Sallis, G. Tate, and S. McDonell, Software Engineering, Addison-Wesley, 1995.
26. Software Engineering Standards Commitee of the IEEE, IEEE Recommended Practice for Software Requirements Specifications, IEEE, 1993.
27. I. Sommerville, Software Engineering, fifth edition, Addison-Wesley, 1996.
28. Z. Somogyi, F. Henderson, and T. Conway, "Mercury: an efficient purely declarative logic programming language", in Proc. Australian Computer Science Conference, February 1995, pp. 499-512.
29. J. M. Spivey, The Z Notation: A Z Reference Manual, Prentice-Hall International, 1989.
30. A. M. Starfield, K. A. Smith, and A. L. Bleloch, How to Model It: Problem Solving for the Computer Age, McGraw-Hill, 1990.
31. L. Sterling, P. Ciancarini, and T. Turnidge, "On the animation of 'not executable' specifications by Prolog", Int. J. Software Engineering and Knowledge Engineering 6 (1996) 63-87.
32. S. Thompson, Haskell: The Craft of Functional Programming, Addison-Wesley, Harlow, 1996.
33. M. Utting, "Animating Z: Interactivity, transparency and equivalence", Technical Report 94-40, Software Verification Research Centre, December 1994.
34. S. H. Valentine, "The programming language Z_", Information and Software Technology 37 (1995) 293-301.
35. M. M. West, "Animation is approximation", Technical Report 96.03, School of Computer Studies, University of Leeds, January 1996.
36. M. Winikoff, P. Dart, and E. Kazmierczak, "Rapid prototyping using formal specifications", in Proc. 21st Australasian Computer Science Conference, ed. C. McDonald, Springer-Verlag, February 1998, pp. 279-293.
37. J. B. Wordsworth, Software Development with Z: A Practical Approach to Formal Methods in Software Engineering, International Computer Science Series, Addison-Wesley, 1992.
38. L. Wos, R. Overbeek, E. Lusk, and J. Boyle, Automated Reasoning, Introduction and Applications, Prentice-Hall, 1984.