Visualization of formal specifications

Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

Volumn , Issue , 1999, Pages 102-109

  Kim, Soon Kyeong ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Formal Specifications; UML; Visualization; Z notation

Indexed keywords

FLOW VISUALIZATION; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; VISUALIZATION;

COMPLEX CONSTRAINTS; DYNAMIC ASPECTS; FORMAL NOTATIONS; FORMAL SPECIFICATION TECHNIQUES; SOFTWARE SPECIFICATION; Z SPECIFICATIONS;

FORMAL SPECIFICATION;

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

References (19)

1. G. Booch, J. Rumbaugh, and 1. Jacobson, editors, UML Notation Guide, Version 1. 1, Rational Software Corporation, USA, 1997. http://www. rational. com.
2. G. Booch, J. Rumbaugh, and I. Jacobson, editors, Object Constraint Language, Version 1. I, Rational Software Corporation, USA, 1997. http://www. rational. com.
3. J. P. Bowen and M. G. Hinchey, Ten Commandments of Formal Methods, Computer, vol. 28 (4), pp. 56-63, 1995.
4. J. P. Bowen and V. Stavridou, Safety-critical systems, formal methods and standards, Software Engineering Journal, vol. 8 (4), pp. 189-209, 1993.
5. J. Dick and J Loubersac, A Visual Approach to VDM, SOFSEM'96, Theoty and Practice of Informatics, LNCS, vol. 1175, pp. 275-284, Springer-Verlag, 1996.
6. A. Evans, R. B. France, K. Lano, and B. Rumpe, The UML as a Formal Modeling Notation., Proc. UML'98 Workshop" Beyond the notation", LNCS, 1618, pp. 336-348, 1998.
7. G. P. Faconti, A. Fornari, and N. Zani, Visual Representation of Formal Specification: An Application to Hierarchical Logical Input Devices, Interactive System: Design, Specification and Verijication-1" Eurographics workshop, pp. 349-367, Springer-Verlag. 1994.
8. K. Finney, Mathematical Notation in Formal Specification: Too Difficult for the Masses?, IEEE Transactions on Soffware Engineering, vol. 22 (2), pp. 158-159, 19%.
9. R. B. France, J.-M., Bruel, M. M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML type structures with Z, Proc. 2nd IFIP conference, Formal Methods for Open Object-Based Distributed System (FMOODS'97), pp. 247-260, Chapman and Hall, London, 1997.
10. J. Gil and S. Kent, Three Dimensional Software Modeling, In Proc. of ICSE98, IEEE Press, 1998. http://www. cs. ukc. ac. uk/people/staff/sjhWpubs. html
11. M. Gogolla and M. Richters, On Combining Semi-Formal and Formal Object Specification Techniques, Proc. 12Ih Int. Workshop on Abstract Data Types (WADT'97), LNCS 1376, pp. 238-252, Springer-Verlag, 1998.
12. D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol. 8 (3), pp. 237-274, 1987.
13. S. Kent, Constraint Diagrams: Visualising Invariants in Object-Oriented Models, In Proc. of OOPSL497, ACM SICPLAN Notices, vol. 32 (10), pp. 327-341, ACM Press, 1997.
14. S. Kent and J. Gil, Visualising Action Contracts in Object-Oriented Modeling, VISUAL98 a workshop at ETAPS98, 1998. http://www. cs. ukc. ac. uk/people/staff/shjk /pubs. html
15. S. Owre, J. Rushby, N. Shankar, and F. von Henke, Formal Verification for Fault Tolerant Architectures: Prolegomena to the Design of PVS, IEEE Transactions on Software Engineering, vol. 21 (2), pp. 107-125, 1995.
16. G. Reggio and M. Larosa, A Graphical Notation for Formal Specifications of Dynamic Systems, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. 4& International Symposium of Formal Methods Europe, LNCS, vol. 1313, pp. 40-61, Austria, 1997.
17. J. M. Spivey, The Z Notation: A Reference Manual, Prentice Hall International Series in Computer Science, 2"d edition, 1992.
18. E. N. Wafula and P. A. Swatman, FOOM: a diagrammatic illustration of Object-Z specifications, Object Oriented Systems, vol. 3, pp. 215-242, 1995.
19. J. M. Wing, A Study of 12 Specifications of the Library Problem, IEEE Software, vol. 5 (4), pp. 66-76, 1988.