-
1
-
-
0011004981
-
Simulation of communications protocols through graphical transformation rules
-
(T. Catarci, M. F. Costabile & S. Levialdi, eds). World Scientific Publishing, Singapore
-
1. B. Bell & W. Citrin (1992) Simulation of communications protocols through graphical transformation rules. In: Advanced Visual Interfaces - Proceedings, of the International Workshop AVI'92 (T. Catarci, M. F. Costabile & S. Levialdi, eds). World Scientific Publishing, Singapore, pp. 208-222.
-
(1992)
Advanced Visual Interfaces - Proceedings, of the International Workshop AVI'92
, pp. 208-222
-
-
Bell, B.1
Citrin, W.2
-
2
-
-
85049195957
-
ChemTrains: A language for creating behaving pictures
-
Bergen, Norway
-
2. B. Bell & C. Lewis (1993) ChemTrains: A language for creating behaving pictures. In: IEEE Symposium on Visual Languages (VL'93), Bergen, Norway, pp. 188-195.
-
(1993)
IEEE Symposium on Visual Languages (VL'93)
, pp. 188-195
-
-
Bell, B.1
Lewis, C.2
-
3
-
-
0029546121
-
Formalising visual languages
-
Darmstadt, Germany
-
3. P. Bottoni, M. F. Costabile, S. Levialdi, et al. (1995) Formalising visual languages. In: IEEE Symposium on Visual Languages (VL'95), Darmstadt, Germany, pp. 45-52.
-
(1995)
IEEE Symposium on Visual Languages (VL'95)
, pp. 45-52
-
-
Bottoni, P.1
Costabile, M.F.2
Levialdi, S.3
-
4
-
-
0001433242
-
Icon purity - towards a formal definition of icon
-
4. S.-K. Chang, G. Tortora, B. Yu, et al. (1987) Icon purity - towards a formal definition of icon. Int. Journal of Pattern Recognition and Artificial Intelligence, 1(3,4), 377-392.
-
(1987)
Int. Journal of Pattern Recognition and Artificial Intelligence
, vol.1
, Issue.3-4
, pp. 377-392
-
-
Chang, S.-K.1
Tortora, G.2
Yu, B.3
-
6
-
-
0011004214
-
Defining the syntax and the semantics of a visual programming language in a spatial logic
-
6. A. G. Cohn, & J. M. Gooday (1994) Defining the syntax and the semantics of a visual programming language in a spatial logic. In: AAAI-94, Spatial and Temporal Reasoning Workshop.
-
(1994)
AAAI-94, Spatial and Temporal Reasoning Workshop
-
-
Cohn, A.G.1
Gooday, J.M.2
-
8
-
-
84900550294
-
New graphical reasoning models for understanding graphical interfaces
-
New Orleans
-
8. G. W. Furnas (1991) New graphical reasoning models for understanding graphical interfaces. In: ACM Conference on Human Factors in Computing Systems (CHI'91), New Orleans, pp. 71-78.
-
(1991)
ACM Conference on Human Factors in Computing Systems (CHI'91)
, pp. 71-78
-
-
Furnas, G.W.1
-
9
-
-
0000367322
-
Programming languages as information structures
-
(J.-M. Hoc, et al., eds). Academic Press, New York
-
9. T. R. G. Green (1990) Programming languages as information structures. In: Psychology of Programming (J.-M. Hoc, et al., eds). Academic Press, New York, pp. 117-137.
-
(1990)
Psychology of Programming
, pp. 117-137
-
-
Green, T.R.G.1
-
10
-
-
0029504720
-
Formal semantics of visual languages using spatial reasoning
-
Darmstadt, Germany
-
10. V. Haarslev (1995) Formal semantics of visual languages using spatial reasoning. In: IEEE-CS Symposium on Visual Languages, Darmstadt, Germany, pp. 156-163.
-
(1995)
IEEE-CS Symposium on Visual Languages
, pp. 156-163
-
-
Haarslev, V.1
-
11
-
-
0029703198
-
Composing complex behavior from simple visual descriptions
-
Boulder, Colorado
-
11. R. Hübscher (1996) Composing complex behavior from simple visual descriptions. In: IEEE Synposium on Visual Languages, Boulder, Colorado, pp. 88-94.
-
(1996)
IEEE Synposium on Visual Languages
, pp. 88-94
-
-
Hübscher, R.1
-
12
-
-
0030214651
-
Drawings on napkins, video game animation, and other ways to program computers
-
12. K. Kahn (1996) Drawings on napkins, video game animation, and other ways to program computers. Communications of the ACM, 38, 49-59.
-
(1996)
Communications of the ACM
, vol.38
, pp. 49-59
-
-
Kahn, K.1
-
14
-
-
0025536730
-
Complete visualizations of concurrent programs and their executions
-
Skokie, IL
-
14. K. M. Kahn & V. A. Saraswat (1990) Complete visualizations of concurrent programs and their executions. In: IEEE Workshop on Visual Languages (VL'90), Skokie, IL, pp. 7-15.
-
(1990)
IEEE Workshop on Visual Languages (VL'90)
, pp. 7-15
-
-
Kahn, K.M.1
Saraswat, A.V.2
-
16
-
-
0347067420
-
Pictures depicting pictures: On the specification of visual languages by visual grammars
-
Seattle
-
16. B. Meyer (1992) Pictures depicting pictures: on the specification of visual languages by visual grammars. In: IEEE Workshop on Visual Languages (VL'92), Seattle, pp. 41-47.
-
(1992)
IEEE Workshop on Visual Languages (VL'92)
, pp. 41-47
-
-
Meyer, B.1
-
18
-
-
85030016686
-
Program semantics and mechanized proof
-
(K. R. Apt & J. W. de Bakker, eds). Mathematical Centre, Amsterdam
-
18. R. Milner (1976) Program semantics and mechanized proof. In: Foundations of Computer Science II, Part 2 (K. R. Apt & J. W. de Bakker, eds). Mathematical Centre, Amsterdam, pp. 3-44.
-
(1976)
Foundations of Computer Science II, Part 2
, pp. 3-44
-
-
Milner, R.1
-
19
-
-
0000802745
-
Tcl: An embeddable command language
-
Washington, DC
-
19. J. K. Ousterhout (1990) Tcl: An embeddable command language. In: 1990 Winter USE NIX Conference, Washington, DC, pp. 133-146.
-
(1990)
1990 Winter USE NIX Conference
, pp. 133-146
-
-
Ousterhout, J.K.1
-
20
-
-
0010952464
-
Where to draw the line with text: Some claims by logic designers about graphics in notation
-
Cambridge, England
-
20. M. Petre & T. R. G. Green (1990) Where to draw the line with text: some claims by logic designers about graphics in notation. In: Proceedings of INTERACT '90, Cambridge, England.
-
(1990)
Proceedings of INTERACT '90
-
-
Petre, M.1
Green, T.R.G.2
-
21
-
-
0029270770
-
Agentsheets: A medium for creating domain-oriented visual languages
-
21. A. Repenning & T. Sumner (1995) Agentsheets: a medium for creating domain-oriented visual languages. Computer, 28, 14-26.
-
(1995)
Computer
, vol.28
, pp. 14-26
-
-
Repenning, A.1
Sumner, T.2
-
24
-
-
0028478501
-
KidSim: Programming agents without a programming language
-
24. D. C. Smith, A. Cypher & J. Spohrer (1994) KidSim: Programming agents without a programming language. Communications of the ACM, 37(7), 1994.
-
(1994)
Communications of the ACM
, vol.37
, Issue.7
, pp. 1994
-
-
Smith, D.C.1
Cypher, A.2
Spohrer, J.3
|