Specifying the Behavior of Graphical Objects Using Esterel

Authors:
Dominique Clément;Janet Incerpi
Affiliations:
-;-
Venue:
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Year:
1989

CAS/PI: a portable and extensible interface for computer algebra systems

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Real theorem provers deserve real user-interfaces

SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
User interfaces for symbolic computation: a case study

UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Loops in esterel

ACM Transactions on Embedded Computing Systems (TECS)
Programs = Data + Algorithms + Architecture: Consequences for Interactive Software Engineering

Engineering Interactive Systems
Supporting multidisciplinary software composition for interactive applications

SC'08 Proceedings of the 7th international conference on Software composition

Hi-index	0.01