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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 28.

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 .

Preview

Conference or workshop item

Rodgers, Peter and Flower, J.E. and Stapleton, G. and Howse, J. (2009) Some Results for Drawing Area Proportional Venn3 With Convex Curves. In: 13th International Conference Information Visualisation (IV09).

Preview

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.

Preview

Delaney, A. and Taylor, J. and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Sep 19-21, 2008, Herrsching, Germany.

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.

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.

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.

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.

Flower, J.E. and Howse, J. and Kent, S. and Taylor, J. (2002) A Visual Framework for Modelling with Heterogeneous Notations. In: IEE Symposium on Human Centric Computing Languages and Environments, Sept. 3-6, 2002, Arlington, VA, . 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.

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.

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.

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.

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.

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.

Preview

Hamie, A. and Howse, J. and Kent, S. (1998) Modular Semantics for Object-Oriented Models. In: Proceedings of Northern Formal Methods Workshop.

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.

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 .

Preview

Hamie, A. and Howse, J. and Kent, S. (1998) Navigation Expressions in OO Modelling. In: Proceedings of FASE98 at ETAPS98.

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.

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 .

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.

Preview

Kent, S. and Howse, J. (1996) Value Types in Eiffel. In: Proceedings of TOOLS Europe'96 (TOOLS 19).

Preview

This list was generated on Sat May 25 04:53:29 2013 BST.