LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
From a synchronous declarative language to a temporal logic dealing with multiform time
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Formal aspects of human-computer interaction
Formal aspects of human-computer interaction
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Motif programming manual (vol. six A)
Motif programming manual (vol. six A)
On the use of LOTOS to describe graphical interaction
HCI'92 Proceedings of the conference on People and computers VII
AVI '94 Proceedings of the workshop on Advanced visual interfaces
Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A formal technique for automated dialogue development
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Formal verification of undesired behaviours in the CERD case study
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
A Review of Formalisms for Describing Interactive Behaviour
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
Journal of Systems and Software
Integrating model checking and HCI tools to help designers verify user interface properties
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
A coordination model for interactive components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Hi-index | 0.01 |