Engineering the usability of visual formalisms: A case study in real time logics

Proceedings of the Workshop on Advanced Visual Interfaces AVI

Volumn , Issue , 1998, Pages 114-123

  Lusini, M ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Computer aided verification; Real time logics; Usability engineering; Visual formalisms

Indexed keywords

COMPUTER AIDED VERIFICATIONS; GRAPHICAL REPRESENTATIONS; REAL-TIME LOGIC; SYNTAX-DIRECTED EDITORS; USABILITY ENGINEERING PROCESS; USER-BASED EVALUATIONS; VISUAL FORMALISM; VISUAL REPRESENTATIONS;

COMPUTER AIDED ANALYSIS; SOFTWARE ENGINEERING;

USABILITY ENGINEERING;

EID: 0038624436     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/948496.948513     Document Type: Conference Paper

References (25)

1. J.F. Allen "Maintaining Knowledge about Temporal Intervals," Communications of the ACM, Vol.26, No.11, 1983.
2. R. Alur, C. Courcoubetis, D. Dill, "Model-Checking for Real-Time Systems," Proc. 5th Symp. on Logic in Computer Science, Philadelphia, June 1990.
3. R. Alur and T.A. Henzinger, "Logics and Models of Real Time: A Survey," Real-Time: Theory in Practice, J.W. de Bakker, K. Huinzing, W.P.de-Roever, G. Rozenberg, (Eds), Lecture Notes in Computer Science 600, Spriger Verlag, 1992, pp.74-106.
4. R. Alur and T.A. Henzinger, "Real-Time Logics: Complexity and Expressiveness," Information and Computation, 104(1) pp.35-77, 1993.
5. B. Berthomieu, and M. Diaz, "Modeling and Verification of Time Dependent Systems Using Time Petri Nets," IEEE Transactions on Software Engineering, Vol.17, No.3, March 1991.
6. G. Bucci, E. Vicario, "Compositional Validation of Time-Dependent Systems Using Communicating Time Petri Nets," IEEE Transactions on Software Engineering, Vol.21, No. 12, Dec.1995.
7. E.M. Clarke, E.A. Emerson, A.P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications," ACM Transactions on Programming Languages and Systems, Vol.8, No.2, April 1986.
8. B. Dasarathy, "Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Validating Them," IEEE Transactions on Software Engineering, Vol.11, No.1, Jan. 1985.
9. A. DelBimbo, L. Rella and E. Vicario, "Visual Specification of Branching Time Temporal Logic," Proc. Symp on Visual Languages, VL95, Darmstadt, IEEE Comp. Soc. Press, pp.61-68, 1995.
10. D. Dill, "Timing Assumptions and Verification of Finite State Concurrent Systems," Proc. Workshop on Computer Aided Verification Methods for Finite State Systems, Grenoble, France, 1989.
11. D. Harel, "On Visual Formalism," Communications of the ACM, Vol.31, No.5, May 1988.
12. A.M. Haber, Y.E. Ioannidis, M. Livny, "Foundations of Visual Metaphors for Schema Display," Journal of Intelligent Information Systems, Vol.3, Summer 1994.
13. G. Kutty, Y.S. Ramakrishna, L.E. Moser, L.K. Dillon, P.M. Melliar Smith, "A Graphical Interval Logic Toolset for Verifying Concurrent Systems," Proc, of the fourth Workshop on Computer Aided Verification, Montreal, Canada, June 1992,
14. L. Lamport, "TLA in Pictures," IEEE Transactions on Software Engineering, Vol.21, No.9, Sept. 1995, pp.768-775.
15. G. Kutty, L.K. Dillon, L.E. Moser, P.M. Melliar Smith, Y.S. Ramakrishna, "Visual Tools for Temporal reasoning," Proc. VL'93, Bergen, Norway, 1993.
16. Z. Manna, A. Pnueli, "The Temporal Logic of Reactive and Concurrent Systems," Springer Verlag, New York, 1992.
17. L. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith and L. K. Dillon, "A Graphical Environment for Design of Concurrent Real-Time Systems", ACM Transactions on Software Engineering and Methodology, January 1997.
18. J. Nielsen, "Usability Engineering," Academic Press, San Diego, Calif. 1993.
19. J. Nielsen, "Iterative User Interface Design," IEEE Computer, November 1993, pp.32-41.
20. J. Nielsen, "The Usability Engineering Life Cycle," IEEE Computer, March 1992, pp. 12-22.
21. A. Pnueli, "The Temporal Logic of Program," Proc. 13th Annual Symposium on Foundations of Computer Science, pp.46-57, IEEE Comp. Soc. Press, 1977.
22. J.A. Stankovic, K. Ramamritham, "What is Predictability for Real Time Systems," Journal of Real Time Systems, Vol.2, Dec. 1990.
23. J.A. Stankovic, "Misconceptions About Real Time Computing," IEEE Computer, Vol.21, No.10, Oct.1988.
24. E.R. Tufte, "Envisioning Information," Graphic Press, Cheshire (CT), 1990.
25. J. Xu, D. Parnas, "On Satisfying Timing Constraints in Hard Real Time Systems," IEEE Transactions on Software Engineering, Vol. 19, No. 1, Jan. 1993.