On the animation of "Not executable" specifications by Prolog

International Journal of Software Engineering and Knowledge Engineering

Volumn 6, Issue 1, 1996, Pages 63-87

  Sterling, Leon ^a,c   Ciancarini, Paolo ^b   Turnidge, Todd ^a,d  

^a CASE WESTERN RESERVE UNIVERSITY   (United States)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSITY OF MELBOURNE   (Australia)

^d University of Wisconsin Madison   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042518846     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194096000041     Document Type: Article

References (20)

1. P. Breuer and J. Bowen, "Towards correct executable semantics for Z", Eds. J. Bowen and J. Hall, Proc. 8th Z Users Workshop (ZUM94), Workshops in Computing, Cambridge, Springer-Verlag, Berlin, 1994, pp. 185-212.
2. J. Cohen and T. Hickey, "Parsing and compiling using Prolog", ACM Transactions on Programming Languages and Systems, 9(3) (1987) 125-163.
3. A. Dick, P. Krause and J. Cozens, "Computer aided transformation of Z into Prolog", Ed. J. Nicholls, Proc. 4th Z Users Workshop, Workshops in Computing, Springer-Verlag, Berlin, 1989, pp. 71-85.
4. A. Diller, Z: An Introduction to Formal Methods, John Wiley, 1990.
5. V. Doma and R. Nicholl, "EZ: A system for automatic prototyping of Z specifications", Eds. S. Prehn and W. Toetenel, VDM 91: Formal Software Development Methods, vol. 551 of Lecture Notes in Computer Science, Noordwijkerhout, Springer-Verlag, Berlin, October 1991, pp. 189-203.
6. M. Fraser, K. Kumar and V. Vaishnavi, "Strategies for incorporating formal specifications in software development", Commun. ACM 37(10) (1994) 74-86.
7. N. Fuchs, "Specifications are (preferably) executable", IEEE Softw. Eng. 7(5) (1992) 323-334.
8. I. Hayes and C. Jones, "Specifications are not (necessarily) executable", IEEE Softw. Eng. 4(6) (1989) 330-338.
9. R. Kemmerer, "Testing formal specifications to detect design errors", IEEE Trans. Softw. Eng. 11(1) (1985) 32-43.
10. R. Knott, "Using Prolog to animate mathematics", Ed. D. Brough, Logic Programming: New Frontiers, Intellect Books, Kluwer Academic Publishers, Dordrecht/Boston/London, 1992, chap. 8, pp. 173-188.
11. R. Knott and P. Krause, "The implementation of Z specifications using program transformation systems: The SuZan project", Eds. C. Rattray and R. Clark, The Unified Computation Laboratory, vol. 35 of IMA Conference Series, Clarendon Press, Oxford, UK, 1992, pp. 207-220.
12. T. Mccluskey, M. Porteus, Y. Naik, C. Taylor and S. Jones, "A requirements capture method and its use in an air traffic control system", Software: Practice and Experience 25(1) (1995) 47-71.
13. J. Spivey, The Z Notation. A Reference Manual, Prentice-Hall, 2nd edn., 1992.
14. S. Stepney and S. Lord, "Formal specification of an access control system", Software: Practice and Experience 17(9) (1987) 575-593.
15. L. Sterling and E. Shapiro, The Art of Prolog, MIT Press, Cambridge, MA, 2nd edn., 1994.
16. B. Todd, "A model-based diagnostic program", IEEE Softw. Eng. 2(3) (1987) 54-63.
17. T. Turnidge, A Prototype for Automatic Translation of Z Specifications into Prolog, Technical Report CES-94-20, Case Western Reserve University, Cleveland, Ohio, 1994.
18. D. Warren, "Logic programming and compiler writing", Software: Practice and Experience 10(2) (1980) 97-125.
19. M. West, "Types and sets in Godel and Z", Eds. J. Bowen and M. Hinchey, Proc. 9th Int. Conf. on Z Formal Specification Notation (ZUM95), Lecture Notes in Computer Science, no. 967, Limerick, Ireland, Springer-Verlag, Berlin, 1995, pp. 389-407.
20. M. West and B. Eaglestone, "Software development: Two approaches to animation of Z specifications using Prolog", IEEE Softw. Eng. 7(4) (1992) 264-276.