Visualisation of refinements

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2001-January, Issue , 2001, Pages 244-251

  Robinson, Neil J ^a   Fidge, Colin ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; FORMAL SPECIFICATION; SOFTWARE DESIGN; SPECIFICATIONS; VISUALIZATION;

ANIMATION TOOLS; CASE-STUDIES; FORMAL PROGRAM DEVELOPMENT; SOFTWARE DEVELOPMENT PROCESS; SPECIFICATION ANIMATIONS;

SOFTWARE ENGINEERING;

EID: 84948154804     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2001.948518     Document Type: Conference Paper

References (20)

1. T. Aaltonen, M. Katara, and R. Pitknen. Disco toolset - the new generation. Journal of Universal Computer Science, 7(1):3-18, 2001.
2. J.-R. Abrial. The B-book: assigning programs to meanings. Cambridge University Press, Cambridge, UK, 1996.
3. R.-J. R. Back and K. Sere. Superposition refinement of reactive systems. Formal Aspects of Computing, 8:324-346, 1996.
4. D. Benyon and M. Imaz. Metaphors and models: Conceptual foundations of representations in interactive systems development. Human-Computer Interaction, 14:159-189, 1999.
5. G. Booch, J. Rumbaugh, and I. Jacobson, editors. UML Notation Guide, Version 1.1. Rational Software Corporation, Santa Clara, CA-95051, USA, January 1997. http://www.rational.com.
6. M. Butler, J. Grundy, T. Långbacka, R. Rukšėnas, and J. Von Wright. The refinement calculator: Proof support for program refinement. In L. Groves and S. Reeves, editors, Formal Methods Pacific '97, pages 40-61. Springer, 1997.
7. C. J. Fidge, P. Kearney, and A. P. Martin. Applying the Cogito program development environment to real-time system design. In C. McDonald, editor, Computer Science '98: Proc. 21st Australasian Computer Science Conference, pages 367-378. Springer-Verlag, 1998.
8. K. Finney. Mathematical notation in formal specification: Too difficult for the masses? IEEE Transactions on Software Engineering, 22(2):158-159, February 1996.
9. M. Fränzle. Synthesizing controllers from duration calculus. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, volume 1135 of Lecture Notes in Computer Science, pages 168-187. Springer-Verlag, 1996.
10. N. Hamilton, D. Hazel, P. Kearney, O. Traynor, and L. Wildman. A complete formal development using Cogito. In C. McDonald, editor, Computer Science '98: Proc. 21st Australasian Computer Science Conference, pages 319-330. Springer-Verlag, 1998.
11. D. Hazel, P. Strooper, and O. Traynor. Possum: An animator for the Sum specification language. In W. Wong and K. Leung, editors, Proceedings Asia-Pacific Software Engineering Conference and International Computer Science Conference, pages 42-51. IEEE Computer Society. California, USA, December 1997.
12. M. Hewitt, C. O'Halloran, and C. Sennett. Experiences with PiZA, an animator for Z. In ZUM'97, The Z formal specification Notation, 10th international conference of Z users proceedings, pages 37-51, 1997.
13. W. Johnston and L. Wildman. The Sum reference manual. Technical Report 99-21, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072, Australia, Nov. 1999.
14. D. T. Jordan, C. J. Locke, J. A. McDermid, C. E. Parker, B. A. P. Sharp, and I. Toyn. Literate formal development of Ada from Z for safety critical applications. In Proceedings of Safe Comp'94. ISA, 1994.
15. A. P. Martin and C. J. Fidge. Lifting in Z. In C. J. Fidge, editor, Computing: The Australasian Theory Symposium 2001, volume 42 of Electronic Notes in Theoretical Computer Science. Elsevier, 2001. http://www.elsevier. nl/locate/entcs.
16. G.-C. Roman, D. Hart, and C. Calkins. Visual presentation of software specifications and designs. In Proceedings of the 8th International Workshop on Software Specifications and Designs, pages 115-124. IEEE Computer Society Press, 1996.
17. A. Shimojima. Operational constraints in diagrammatic reasoning. In G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams, chapter 2. Oxford University Press, 1996.
18. J. M. Spivey. The Z notation: a reference manual. Prentice Hall, New York, USA, second edition, 1992.
19. A. Wabenhorst. A stepwise development of the alternating bit protocol. Technical report, Programming Research Group, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, 1997.
20. H. Waeselynck and S. Behnia. B model animation for external verification. In J. Staples, M. Hinchey, and S. Liu, editors, Second International Conference on Formal Engineering Methods, Brisbane, Australia, December 9-11, 1998, pages 36-45, 1998.