Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Envisioning information
Timing assumptions and verification of finite-state concurrent systems
Proceedings of the international workshop on Automatic verification methods for finite state systems
What is predictability for real-time systems?
Real-Time Systems
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The Usability Engineering Life Cycle
Computer
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Foundations of visual metaphors for schema display
Journal of Intelligent Information Systems - Special issue: advances in visual information management systems
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Usability Engineering
Iterative User-Interface Design
Computer
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Visual specification of branching time temporal logic
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
A visual editor to support the use of temporal logic for ADL monitoring
ICOST'07 Proceedings of the 5th international conference on Smart homes and health telematics
| Hi-index | 0.00 |
A visual formalism for the presentation of a real time logic is introduced, motivated, and evaluated.The visual formalism has been designed following a user-centered usability engineering process, targeted to the students of higher education courses in software engineering. On the one hand, heuristic design was applied to maximize consistency, i.e. to minimize the complexity of the visual metaphor mapping textual sentences to the visual representation. On the other hand, individual metaphoric assumptions were defined by prototyping and exposing alternative graphical representations to a representative sample of the target community of expected users.The resulting notation has been implemented within an interactive syntax-directed editor which integrates the visual presentation with the conventional textual notation. The editor has been used to carry out a competitive user-based evaluation of the usability of textual and visual representations, by carrying out a readability test on a larger sample of representative end-users.