Engineering the usability of a visual formalism for real-time temporal logic

Journal of Visual Languages and Computing

Volumn 12, Issue 6, 2001, Pages 573-599

  Vicario, Enrico ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Software engineering, formal methods, real time temporal logic, visual formalisms, usability engineering.

Indexed keywords

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

References (34)

1. Stankovic J. A., Ramamritham K. What is predictability for real-time systems. Journal of Real Time Systems. 2:1990.
2. D. Dill, 1989, Timing assumptions and verification of finite state concurrent systems, Proceedings of the Workshop on Computer Aided Verification Methods for Finite State Systems.
3. Xu J., Parnas D. On satisfying timing constraints in hard real time systems. IEEE Transactions on Software Engineering. 19:1993.
4. Wegner P. Why interaction is more powerful than algorithms. Communications of the ACM. 40:1997.
5. Harel D. On visual formalism. Communications of the ACM. 31:1988.
6. Harel D., Lachover H., Naamad A., Pnueli A., Politi M., Sherman R., Shtull-Trauring A., Trakhtenbrot M. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering. 16:1990;403-414.
7. T. Bolognesi, D. Latella, 1989, Techniques for the formal definition of the G-LOTOS syntax, Proceedings VL'89.
8. Giacalone A., Smolka S. A. Integrated environments for formally well-founded design and simulation of concurrent systems. IEEE Transactions on Software Engineering. 14:1988.
9. Haber A. M., Ioannidis Y. E., Livny M. Foundations of visual metaphors for schema display. Journal of Intelligent Information Systems. 3:1994.
10. Gould J. D., Lewis C. Designing for usability: key principles and what designers think. Communications of the ACM. 28:1985.
11. Bucci G., Vicario E. Compositional validation of time-dependent systems using communicating time petri nets. IEEE Transactions on Software Engineering. 21:1995.
12. Berthomieu B., Diaz M. Modeling and verification of time dependent systems using time petri nets. IEEE Transactions on Software Engineering. 17:1991.
13. Alur R., Henzinger T. A. Logics and models of real-time: a survey. de Bakker J. W., Huinzing K., de-Roever W. P., Rozenberg G. Real-Time: Theory in Practice. 600:1992;74-106 Springer-Verlag, Berlin.
14. Pnueli A. The temporal logic of program. Proceedings of the 18th Annual Symposium on Foundations of Computer Science. 1977;IEEE Computer Society Press, Silver Spring. p. 46-57.
15. Manna Z., Pnueli A. The temporal logic of reactive and concurrent systems. 1992;Springer-Verlag, New York.
16. Kutty G., Dillon L. K., Moser L. E., Melliar Smith P. M., Ramakrishna Y. S. Visual tools for temporal reasoning. Proceedings VL'93. 1993.
17. G. Kutty, Y. S. Ramakrishna, L. E. Moser, L. K. Dillon, P. M. Melliar Smith, 1992, A graphical interval logic toolset for verifying concurrent systems, Proceedings of the fourth Workshop on Computer Aided Verification.
18. Allen J. F. Maintaining knowledge about temporal intervals. Communications of the ACM. 26:1983.
19. Moser L., Ramakrishna Y. S., Kutty G., Melliar-Smith P. M., Dillon L. K. A graphical environment for design of concurrent real-time systems. ACM Transactions on Software Engineering and Methodology. 1997.
20. Del Bimbo A., Rella L., Vicario E. Visual specification of branching time temporal logic. Proceedings of the Symposium on Visual Languages, VL95. 1995;Darmstadt, IEEE Computer Society Press, Silver Spring. p. 61-68.
21. Del Bimbo A., Vicario E. A visual formalism for computational tree logic. International Journal on Visual Languages and Computing. 1999;Academic Press.
22. Lamport L. TLA in pictures. IEEE Transactions on Software Engineering. 21:1995;768-775.
23. Clarke E. M., Emerson E. A., Sistla A. P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems. 8:1986.
24. Schlör R., Josko B., Werth D. Using a visual formalism for design verification in industrial environments. Proceedings VISUAL'98. 1998;Springer-Verlag, Berlin. p. 208-221.
25. Gould J. D., Boies S. J., Lewis C. Making usable useful productivity Enhancing computer applications. Communications of the ACM. 34:1991;74-85.
26. ISO CD 13407, 1996, User centred design process for interactive systems.
27. ISO/IEC DIS 14598-1, 1996, Information technology - evaluation of software products - Part 1: general guide.
28. ISO/IEC 9126, 1991, Software product evaluation - quality characteristics and guidelines for their use.
29. M. Lusini, E. Vicario, 1998, Engineering the usability of visual formalisms: a case study in real-time logic, ACM Conference on Advanced Visual Interfaces AVI'98.
30. ISO DIS 9241-11, 1996, Ergonomic requirements for office work with visual display terminals. Part 11: guidance on usability.
31. Marcus A. Human communications issues in advanced UIS. Communications of the ACM. 36:1993.
32. A. Del Bimbo, M. Lusini, E. Vicario, 1998, Logging user activity through integrated capture and playback of audio and graphical interaction, #21, Dept. Sistemi e Informatica, University of Florence, March 1998.
33. Nielsen J. Usability Engineering. 1993;Academic Press, San Diego.
34. Tufte E. R. Envisioning Information. 1990;Graphic Press, Cheshire.