Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 26.

Article

Stapleton, G. and Taylor, J. and Thompson, Simon and Howse, J. (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (The full text of this publication is not available from this repository)

Stapleton, G. and Howse, J. and Taylor, J. and Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (The full text of this publication is not available from this repository)

Howse, J. and Molina, F. and Taylor, J. and Kent, S. and Gil, J. (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X . (Full text available)
[img]
Preview

Book section

Thompson, Simon and Howse, J. and Taylor, John and Stapleton, Gem and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhaüser, pp. 101-133. ISBN 9783034805995. (The full text of this publication is not available from this repository)

Conference or workshop item

Stapleton, G. and Howse, J. and Rodgers, Peter and Zhang, L. (2008) Generating Euler Diagrams from Existing Layouts. In: Proceedings of Layout of (Software) Engineering Diagrams. (Full text available)
[img]
Preview

Stapleton, G. and Rodgers, Peter and Howse, J. and Taylor, J. (2007) Properties of Euler Diagrams. In: Fish, A. and Knapp, A. and Storrle, H., eds. Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007). Electronic communications of the EASST, 7 (Volume). EASST ISBN 1863-2122. (Full text available)
[img]
Preview

Stapleton, G. and Thompson, Simon and Fish, A. and Howse, J. and Taylor, J. (2005) A New Language for the Visualization of Logic and reasoning. In: Proceedings of the 2005 International Workshop on Visual Languages and Computing. (Full text available)
[img]
Preview

Stapleton, G. and Howse, J. and Taylor, J. and Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: Visual Languages and Human Centric Computing, 2004 IEEE Symposium on. IEEE pp. 90-98. ISBN 0-7803-8696-5. (Full text available)
[img]
Preview

Stapleton, G. and Howse, J. and Taylor, J. and Thompson, Simon (2004) What Can Spider Diagrams Say? In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds. Diagrammatic Representation and Inference. Lecture Notes in Computer Science, 2980. Springer pp. 179-186. ISBN 3-540-21268-X. (The full text of this publication is not available from this repository)

Kent, S. and Howse, J. (2002) Constraing Trees. In: Clark, A. and Warmer, J., eds. Object Modeling with the OCL. LNCS 2263, 2263/2002. Springer-Verlag, Berlin pp. 427-430. ISBN 978-3-540-43169-5. (The full text of this publication is not available from this repository)

Gil, J. and Howse, J. and Kent, S. (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. (The full text of this publication is not available from this repository)

Gill, J. and Howse, J. and Kent, S. and Taylor, J. (2000) Projections in Venn-Euler Diagrams. In: Proc. IEEE Symposium on Visual Languages (VL2000), 09/10/2000 - 09/13/2000, Seattle, WA, USA. (Full text available)
[img]
Preview

Gil, J. and Howse, J. and Kent, S. (1999) Constraint Diagrams: A Step Beyond UML. In: Technology of Object-Oriented Languages and Systems (TOOLS USA'99), August 01-05, 1999, Santa Barbara, California , USA. (Full text available)
[img]
Preview

Gil, J. and Howse, J. and Kent, S. (1999) Formalizing Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press pp. 130-137. ISBN 0-7695-0216-4. (Full text available)
[img]
Preview

Howse, J. and Molina, F. and Taylor, J. and Kent, S. (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99), Sep 13-16, 1999, Tokyo, Japan. (Full text available)
[img]
Preview

Kent, S. and Howse, J. (1999) Mixing Visual and Textual Constraint Languages. In: 2nd International Conference on the Unified Modeling Language (UML 99), Oct 28-30, 1999, Ft Collins, Colorado. (Full text available)
[img]
Preview

Kent, S. and Howse, J. (1999) Mixing visual and textual constraint languages. In: France, R. and Rumpe, B., eds. «UML»’99 — The Unified Modeling Language. Lecture Notes In Computer Science, 1723. Springer-Verlag Berlin, Berlin Germany pp. 384-398. ISBN 3-540-66712-1. (The full text of this publication is not available from this repository)

Kent, S. and Howse, J. and Lauder, Anthony (1998) Modelling Components. In: Proceedings: International Workshop on Large-Scale Software Composition at DEXA98. (Full text available)
[img]
Preview

Hamie, A. and Howse, J. and Kent, S. (1998) Modular Semantics for Object-Oriented Models. In: Proceedings of Northern Formal Methods Workshop. (Full text available)
[img]
Preview

Hamie, A. and Howse, J. and Kent, S. (1998) Interpreting the Object Constraint Language. In: Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific. IEEE Press pp. 288-295. ISBN 0-8186-9183-2. (Full text available)
[img]
Preview

Hamie, A. and Civello, F. and Howse, J. and Kent, S. and Mitchell, M. (1998) Reflections on the Object Constraint Language. In: Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation. Lecture Notes in Computer Science, 1618. Springer Verlag pp. 162-172. ISBN 3-540-66252-9 . (Full text available)
[img]
Preview

Hamie, A. and Howse, J. and Kent, S. (1998) Navigation Expressions in OO Modelling. In: Proceedings of FASE98 at ETAPS98. (Full text available)
[img]
Preview

Kent, S. and Lano, K. and Bicarregui, J. and Hamie, A. and Howse, J. (1997) Component Composition in Business and System Modelling. In: Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics. (Full text available)
[img]
Preview

Kent, S. and Hamie, A. and Howse, J. and Civello, F. and Mitchell, R. (1997) Semantics through Pictures. In: Proceedings of the Workshops on Object-Oriented Technology. LNCS, 1357. Springer Verlag pp. 182-187. ISBN 3-540-64039-8 . (Full text available)
[img]
Preview

Kent, S. and Hamie, A. and Howse, J. and Civello, F. and Mitchell, R. (1997) Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations. In: Proceedings of ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modelling Techniques. (Full text available)
[img]
Preview

Kent, S. and Howse, J. (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19). (Full text available)
[img]
Preview

This list was generated on Fri Jun 20 12:38:51 2014 BST.