Abstract | ||
---|---|---|
Specifying the behavior of graphical objects, such as menus, scrollbars, etc. is not an easy task. This is because one must deal with multiple input devices such as the mouse and keyboard. This makes the specification of such objects difficult to write and hard to maintain. We consider these objects as reactive systems that receive inputs and generate output after updating their internal state. We present here how one can use the Esterel language to write efficient, clean, and modular specifications of such systems. Esterel also provides for the reuseability of such specifications. |
Year | Venue | Keywords |
---|---|---|
1989 | 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 | reactive system |
Field | DocType | Volume |
Mouse button,Programming language,Computer science,Synchronous language,Esterel,Modular design,Reactive system,Embedded system,Input device | Conference | 352 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-50940-2 | 11 |
PageRank | References | Authors |
9.05 | 5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dominique Clément | 1 | 105 | 25.44 |
Janet Incerpi | 2 | 52 | 21.82 |