Design and evaluation of a visual formalism for real time logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1385, Issue , 1998, Pages 158-173

  Lusini, M ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING EDUCATION; FORMAL METHODS; USABILITY ENGINEERING; VISUALIZATION;

DESIGN AND EVALUATIONS; GRAPHICAL REPRESENTATIONS; HEURISTIC DESIGNS; REPRESENTATIVE SAMPLE; USABILITY ENGINEERING PROCESS; USER-BASED EVALUATIONS; VISUAL PRESENTATION; VISUAL REPRESENTATIONS;

USER CENTERED DESIGN;

EID: 84957542280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053504     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. Ralur, C. Courcoubetis, D. Dili, "Model-Checking for Real-Time Systems," Proc. 5th Symp. on Logic in Computer Science, Philadelphia, Jun. 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, Springer Verlag, 1992.
4. R. Alur and T. A. Henzinger, "Real-Time Logics: Complexity and Expressiveness," Information and Computation, 104(1), 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, Mar. 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, Apr. 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. Del Bimbo, L. Relia and E. Vicario, "Visual Specification of Branching Time Temporal Logic," Proc. Symp on Visual Languages, VL95, Darmstadt, IEEE Comp. Soc. Press, 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, Jun. 1992.
14. L. Lamport, "TLA in Pictures," IEEE Transactions on Software Engineering, Vol. 21, No.9, Sep. 1995.
15. G. Kutty, L. K. Dillon, L. E. Moser, P. M. Melliar Smith, Y. S. Ramakrishna, "Visual Tools for Temporal reasoning," Proc. VĽ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, Jan. 1997.
18. J. Nielsen, "Usability Engineering," Academic Press, San Diego, Calif. 1993.
19. J. Nielsen, "Iterative User Interface Design," IEEE Computer, Nov. 1993.
20. J. Nielsen, "The Usability Engineering Life Cycle," IEEE Computer, Mar. 1992.
21. A. Pnueli, "The Temporal Logic of Program," Proc. 18th Annual Symposium on Foundations of Computer Science, 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. Pamas, "On Satisfying Timing Constraints in Hard Real Time Systems," IEEE Transactions on Software Engineering, Vol. 19, No. l, Jan. 1993.