A visual formalism for computational tree logic

Journal of Visual Languages and Computing

Volumn 10, Issue 2, 1999, Pages 165-187

  Del Bimbo, A ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Computer aided verification; Information visualization; Temporal logic; User interfaces; Visual formalisms; Visualization methodology

Indexed keywords

EID: 0033110658     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1998.0108     Document Type: Article

References (31)

1. N. Gershon & S. G. Eick (1995) Visualization's new tack: Making sense of information. IEEE Spectrum 38-56.
2. P. Zave (1984) The operational versus the conventional approach to software development. Communications of the ACM 27, 104-118.
3. A. L. Ambler, M. Burnett & B. A. Zimmerman (1992) Operational versus definitional: A perspective on programming paradigms. IEEE Computer, 28-43.
4. E. M. Clarke, E. A. Emerson & A. P. Sistla (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8.
5. F. J. Lin & M. T. Liu (1992) Protocol validation for large-scale applications, IEEE Software 23-26.
6. C. A. R. Hoare (1985) Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ.
7. T. Bolognesi & D. Latella (1989) Techniques for the formal definition of the G-LOTOS syntax, Proceedings of the VL'89, Rome, Italy.
8. A. Giacalone & S. A. Smolka (1988) Integrated environments for formally well-founded design and simulation of concurrent systems. IEEE Transactions on Software Engineering 14.
9. L. Lamport (1995) TLA in pictures, IEEE Transactions on Software Engineering, 21, 768-775.
10. G. Kutty, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith & Y. Ramakrishna (1993) Visual tools for temporal reasoning. Proceedings of the VL'93, Bergen, IEEE Computer Society, pp. 152-159.
11. G. Kutty, L. K. Dillon, L. E. Moser, P. M. Melliar Smith & Y. S. Ramakrishna (1993) Visual tools for temporal reasoning. Proceedings of VL'93, Bergen, Norway.
12. L. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith & L. K. Dillon (1997) A graphical environment for design of concurrent real-time systems. ACM Transactions on Software Engineering and Methodology.
13. G. Kutty, Y. S. Ramakrishna, L. E. Moser, L. D. Dillon & P. M. Melliar Smith (1992) A graphical interval logic toolset for verifying concurrent systems, Proceedings of the 4th Workshop on Computer Aided Verification, Montreal, Canada, June.
14. G. Congiu, A. Del Bimbo & E. Vicario (1995) Iconic retrieval from databases of cardiological image sequences, Proceedings of the 3rd International Conference on Visual Databases, Lausanne, Switzerland, March.
15. J. F. Allen (1983) Maintaining knowledge about temporal intervals. Communications of the ACM, 26.
16. J. Bertin (1983) Semiology of Graphics: Diagrams, Networks, Maps, (W. J. Berg, Translator), University of Wisconsin Press, Madison, WI.
17. Z. Manna & A. Pnueli (1992) The Temporal Logic of Reactive and Concurrents Systems, Springer Verlag, New York.
18. D. Harel (1988) On visual formalism. Communications of the ACM 31.
19. I. Nassi & B. Shneiderman (1973) Flowchart techniques for structured programming. ACM Sigplan Notices 8, 12-26.
20. B. Shneiderman (1992) Tree visualization with treemaps: 2D space-filling approach. ACM Transactions on Graphics 11, 92-99.
21. N. J. Wade & M. Swanston (1991) Visual Perception: And Introduction. Routledge, London.
22. L. R. Wagner, J. A. Ferwerda & D. P. Greenberg (1992) Perceiving spatial relationship in computer-generated images. IEEE Computer Graphics & Applications 44-57.
23. G. Bucci & E. Vicario (1995) Compositional validation of time-dependent systems using communicating time petri nets. IEEE Transact-ions of Software Engineering 21.
24. M. Turner & G. Fauconnier (1995) Conceptual integration and formal expression. Journal of Metaphor and Symbolic Activity 10.
25. L. D. Silverstein 1987. Human Factors for Color Display Systems: Concepts, Methods, and Research. Academic Press, Boston, MA.
26. J. H. Larkin & H. A. Simon (1987) Why a diagram is (sometimes) worth ten thousand words. Cognitive Science 11, 65-99.
27. E. R. Tufte (1990) Envisioning Information. Graphic Press, Cheshire, CT.
28. B. Shneiderman (1992) Designing the Interface. Addison Wesley, Reading, MA.
29. D. A. Henderson & S. K. Card (1986) Rooms: The use of multiple virtual workspaces to reduce space contention in a window-based graphical user interface. ACM Transactions on Graphics 5, 211-243.
30. A. M. Haber, Y. E. Ioannidis & M. Livny (1994) Foundations of visual metaphors for schema display. Journal of Intelligent Information Systems 3.
31. G. G. Robertson, S. K. Card & J. D. Mackinlay (1991) Cone trees: Animated 3D visualization of hierarchical information. Proceedings of SIGCHI'91, pp. 189-194.