A toolset to support the construction and animation of formal specifications

Journal of Systems and Software

Volumn 41, Issue 3, 1998, Pages 147-160

  Morrey, Ian ^a   Siddiqi, Jawed ^a   Hibberd, Richard ^b   Buckberry, Graham ^c  

^a SHEFFIELD HALLAM UNIVERSITY   (United Kingdom)

^b NOTTINGHAM TRENT UNIVERSITY   (United Kingdom)

^c Siemens GEC Commun Systems Ltd   (United Kingdom)

Author keywords

Animation; Formal specification; Rapid prototyping; Validation

Indexed keywords

ANIMATION; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FILE EDITORS; FORMAL LANGUAGES; RAPID PROTOTYPING; TELECOMMUNICATION NETWORKS;

FORMAL SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032099048     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(97)10016-4     Document Type: Article

References (45)

1. Aggresti, W.W., 1986. New Paradigms for Software Development. IEEE Computer Soc. Press, Silver Spring, MD.
2. Bowen, J.P., Stavridou, V., 1993. Safety-critical systems, formal methods and standards. IEE/BCS Software Eng. J. 8 (4), 189-209.
3. Breuer, P.T., Bowen, J.P., 1994. Towards correct executable semantics for Z. In: Bowen, J.P., Hall, J.A. (Eds.), Workshops in Computing. Springer, Berlin, pp. 185-209.
4. Brien, S.M., Nicholls, J.E., 1992. Z Base Standard Version 1.0, Oxford University Computing Laboratory Programming Research Group, Technical Monograph PRG-107.
5. Choppy, C., 1987. Formal specifications, prototyping and integration test. In: Lecture Notes in Computer Science, vol. 289. Springer, Berlin, pp. 172-179.
6. Dick, A.J.J., Krause, P.J., Cozens, J., 1990. Computer aided transformation of Z into Prolog. In: Nicholls, J.E. (Ed.), Workshops in Computing. Springer, Berlin, pp. 71-85.
7. Diller, A., 1990. Z: An Introduction to Formal Methods. Wiley, New York.
8. Doma, V., Nicholl, R., 1991. EZ: A system for automatic prototyping of Z specifications. In: Prehn, S., Toetenel, W.J. (Eds.), VDM'91: Formal Software Development Methods, Lecture Notes in Computer Science, vol. 551. Springer, Berlin, pp. 189-203.
9. Formaliser: A Formal Methods Support Tool for Small Computers, Logica Cambridge Ltd., 1995.
10. Fuchs, N.E., 1992. Specifications are (preferably) executable. Software Eng. J. 323-334.
11. Gladden, G.R., 1982. Stop the Life-Cycle, I want to get off, ACM SIGSOFT Software Engineering Notes 7 (2).
12. Goguen, J.A., Thatcher, J.W., Wagner, E.G., 1978. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In: Yeh, R.T. (Ed.), Current Trends in Programming Methodology, Data Structuring, vol. IV. Prentice-Hall, Englewood Cliffs, NJ.
13. Goguen, J.A., Meseguer, J., 1982. Rapid Prototyping in the OBJ Executable Specification Language, ACM SIGSOFT Software Engineering Note 7 (5).
14. Goodman, H.S., 1993. Animating Z specifications in Haskell using a monad, Technical Report. University of Birmingham, England.
15. Graham, P., 1994. On Lisp: Advanced Techniques for Common Lisp, Alan Apt.
16. Gravell, A.M., Henderson, P., 1988. Why Execute Formal Specifications? Department of Electronic and Computer Science, University of Southampton.
17. Hayes, I.J., Jones, C.B., 1989. Specifications are not (necessarily) executversity of Manchester, Technical Report UMCS-89-12-1.
18. Hekmatpour, S., 1988. Lisp and Symbol Manipulation. Open University.
19. Henderson, P., Minkowitz, C., 1985. The me-too method of Software Design. University of Stirling, Department of Computing Science, FPN-10.
20. Henderson, P., 1986. Functional Programming, Formal Specification and Rapid Prototyping. IEEE Trans. Software Eng. 12 (2).
21. Jia, X., 1994. ZTC: A Type Checker for Z: User's Guide (version 1.3). Institute for Software Engineering, DePaul University, Chicago, USA.
22. Johnson, M., Sanders, P., 1990. From Z specifications to functional implementations. In: Nicholls, J.E. (Ed.), Workshops in Computing. Springer, Berlin, pp. 86-112.
23. Jones, C.B., 1980. Software Development: A Rigorous Approach, Prentice-Hall, Englewood Cliffs, NJ.
24. Jones, C.B., 1990. Systematic Software Development using VDM, 2nd ed. Prentice-Hall, Englewood Cliffs, NJ.
25. Knott, R.D., Krause, P.J., 1992. The implementation of Z specifications using program transformation systems: The SuZan project. In: Rattray, C., Clark, R.G. (Eds.), The Unified Computation Laboratory, IMA Conference Series, vol. 35. Oxford University Press, Oxford, pp. 207-220.
26. Kramer, J., Keng, N., 1988. Animation of requirements specifications. Software - Practice and Experience 18 (8), 749-774.
27. McCracken, D.D., Jackson, M.A., 1980. A Minority Dissenting Position. In: Cotterman, W.W. (Eds.), Systems Analysis and Design - A Foundation for the 1980s, pp. 551-553, 1981.
28. Morgan, C., 1987. Telephone network, in: Hayes, I. (Ed.), Specification Case Studies, 1st ed. Prentice-Hall, Englewood Cliffs, NJ.
29. Morgan, C., 1990. Programming from Specifications, Prentice-Hall, Englewood Cliffs, NJ.
30. Morgan, C., 1993. Telephone network. In: Hayes, I. (Ed.), Specification Case Studies, 2nd ed. Prentice-Hall, Englewood Cliffs, NJ.
31. Mullery, G., 1979. CORE - A method for controlled requirements specification, Proc. 4th Int. Conf. Software Engineering. IEEE Computer Soc. Press, pp. 126-135.
32. O'Neill, G., 1992. Automatic translation of VDM specifications into standard ML programs. The Computer Journal 35 (6), 623-624.
33. Ozcan, M.B., Siddiqi, J.I.A., 1994. Validating and evolving software requirements in a systematic framework, IEEE Int. Conf. on Requirements Engineering. Colorado Springs, Colorado.
34. Sherrell, L.B., Carver, D.L., 1993. Z meets Haskell: A case study, Proc. 17th Annual International Computer Software and Applications Conference, pp. 320-326.
35. Sherrell, L.B., Carver, D.L., 1994. Experiences in translating Z designs to Haskell Implementations. Software - Practice and Experience 24 (12), 1159-1178.
36. Siddiqi, J., Morrey, I., Shaw, S., Briggs, J., 1991. Rapid prototyping of formal specifications, 4th International Conference on Software Engineering and its Applications. Toulouse.
37. Siddiqi, J., Morrey, I., Hibberd, R., Buckberry, G., 1993. Towards CASE Tools for Prototyping Z Specifications, 6th International Workshop on CASE, CASE '93. Singapore.
38. Siddiqi, J., Morrey I., Hibberd, R., Buckberry, G., 1994. Towards a system for the construction, clarification, discovery and formalisation of requirements, IEEE International Conference on Requirements Engineering. Colorado Springs, Colorado.
39. Spivey, J.M., 1989. The Z Notation. Prentice-Hall, Englewood Cliffs.
40. Spivey, M., 1992. The fuzz manual.
41. Toyn, I., McDermid, J.A., 1995. CADiZ: An architecture for Z tools and its implementation. Software - Practice and Experience 25 (3), 305-330.
42. Turner, D., 1986. An overview of miranda. SIGPLAN Notices 21 (12), 158-166.
43. Valentine, S.H., 1995. The Programming Language Z-. Information and Software Technology 37 (5), 293-301.
44. West, M.M., Eagleston, B.M., 1992. Software development: Two approaches to animation of Z specifications using prolog. IEE/BCS Software Engineering Journal 7 (4), 264-276.
45. Wordsworth, J.B., 1989. A Z Development Method, Proc. of the Workshop on Refinement, The Open University, Milton Keynes.