-
1
-
-
27844510524
-
-
OMG, UML specification, version 1.4, Available from www.omg.org
-
OMG, UML specification, version 1.4, Available from www.omg.org
-
-
-
-
3
-
-
84948987134
-
A visualisation of OCL using collaborations
-
Lecture Notes in Computer Science Springer, Berlin
-
P. Bottoni, M. Koch, F. Parisi-Preesicce, G. Taentzer, A visualisation of OCL using collaborations, in: Proceedings of UML 01, Lecture Notes in Computer Science, vol. 2185, Springer, Berlin, 2001, pp. 257-271.
-
(2001)
Proceedings of UML 01
, vol.2185
, pp. 257-271
-
-
Bottoni, P.1
Koch, M.2
Parisi-Preesicce, F.3
Taentzer, G.4
-
4
-
-
0346616784
-
Constraint diagrams: Visualising invariants in object oriented models
-
ACM SIGPLAN Notices
-
S. Kent, Constraint diagrams: Visualising invariants in object oriented models, in: Proceedings of OOPSLA97, ACM SIGPLAN Notices, 32(10), 1997, pp. 327-341.
-
(1997)
Proceedings of OOPSLA97
, vol.32
, Issue.10
, pp. 327-341
-
-
Kent, S.1
-
5
-
-
27844444778
-
Stanford encyclopaedia of philosophy
-
Stanford encyclopaedia of philosophy, Entry on Diagrams, http://plato.stanford.edu/entries/diagrams
-
Entry on Diagrams
-
-
-
10
-
-
9444257694
-
Implementing Euler/Venn reasoning systems
-
M. Anderson B. Meyer P. Oliver (Eds.) Springer Berlin
-
N. Swoboda Implementing Euler/Venn reasoning systems in: M. Anderson B. Meyer P. Oliver (Eds.) Diagrammatic Representation and Reasoning 2001 Springer Berlin 371-386
-
(2001)
Diagrammatic Representation and Reasoning
, pp. 371-386
-
-
Swoboda, N.1
-
14
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel Statecharts: A visual formalism for complex systems Science of Computer Programming 8 1987 231-274
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
15
-
-
9444260531
-
The logic system of concept graphs with negation and its relationship to predicate logic
-
Springer, Berlin
-
F. Dau, The logic system of concept graphs with negation and its relationship to predicate logic, Lecture Notes in Applied Informatics, vol. 2892, Springer, Berlin, 2003.
-
(2003)
Lecture Notes in Applied Informatics
, vol.2892
-
-
Dau, F.1
-
16
-
-
9444279013
-
Towards a default reading for constraint diagrams
-
Lecture Notes in Computer Science Springer, Berlin
-
A. Fish, J. Howse, Towards a default reading for constraint diagrams, in: Proceedings of Diagrams 2004, Lecture Notes in Computer Science, vol. 2980, Springer, Berlin, 2004, pp. 51-65.
-
(2004)
Proceedings of Diagrams 2004
, vol.2980
, pp. 51-65
-
-
Fish, A.1
Howse, J.2
-
17
-
-
68049125123
-
Using animation in diagrammatic theorem proving
-
Lecture Notes in Applied Informatics Springer, Berlin
-
D. Winterstein, A. Bundy, C. Gurr, M. Jamnik, Using animation in diagrammatic theorem proving, in: Proceedings of Diagrams 2002, Lecture Notes in Applied Informatics, vol. 2317, Springer, Berlin, pp. 46-60.
-
Proceedings of Diagrams 2002
, vol.2317
, pp. 46-60
-
-
Winterstein, D.1
Bundy, A.2
Gurr, C.3
Jamnik, M.4
-
18
-
-
27844575238
-
Precise Visual Modelling
-
to appear. Available at
-
J. Howse, S. Schumann, Precise Visual Modelling, Journal of Software Systems & Modelling, 4(3) (2005) to appear. Available at http://springerlink.metapress.com
-
(2005)
Journal of Software Systems & Modelling
, vol.4
, Issue.3
-
-
Howse, J.1
Schumann, S.2
-
19
-
-
0035790820
-
Towards a formalization of constraint diagrams
-
IEEE, New York
-
J. Gil, J. Howse, S. Kent, Towards a formalization of constraint diagrams, in: Proceedings of Symposium on Human Centric Computing, IEEE, New York, 2001, pp. 72-79.
-
(2001)
Proceedings of Symposium on Human Centric Computing
, pp. 72-79
-
-
Gil, J.1
Howse, J.2
Kent, S.3
-
20
-
-
84893076076
-
Corresponding regions in Euler diagrams
-
Lecture Notes in Applied Informatics Springer, Berlin
-
J. Howse, G. Stapleton, J. Taylor, J. Flower, Corresponding regions in Euler diagrams, in: Proceedings of Diagrams 2002, Lecture Notes in Applied Informatics, vol. 2317, Springer, Berlin, 2002, pp. 146-160.
-
(2002)
Proceedings of Diagrams 2002
, vol.2317
, pp. 146-160
-
-
Howse, J.1
Stapleton, G.2
Taylor, J.3
Flower, J.4
-
21
-
-
84878367550
-
A reading algorithm for constraint diagrams
-
IEEE, New York
-
A. Fish, J. Flower, J. Howse, A reading algorithm for constraint diagrams, in: Proceedings of Symposium on Human-Centric Computing, Languages and Environments, IEEE, New York, 2003, pp. 161-168.
-
(2003)
Proceedings of Symposium on Human-Centric Computing, Languages and Environments
, pp. 161-168
-
-
Fish, A.1
Flower, J.2
Howse, J.3
-
22
-
-
35048891228
-
Computing reading trees for constraint diagrams
-
Lecture Notes in Computer Science Springer, Berlin
-
A. Fish, J. Howse, Computing reading trees for constraint diagrams, in: Proceedings of Applications of Graph Transformations with Industrial Relevance, Lecture Notes in Computer Science, vol. 3062, Springer, Berlin, 2003, pp. 260-274.
-
(2003)
Proceedings of Applications of Graph Transformations With Industrial Relevance
, vol.3062
, pp. 260-274
-
-
Fish, A.1
Howse, J.2
|