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: 29.

Article

Taylor, Chris and Boiten, Eerke and Derrick, John (2002) ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings: Software, 149 (2). pp. 57-64. ISSN 1462-5970. (The full text of this publication is not available from this repository)

Taylor, Chris and Till, David (2000) A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Formal Aspects of Computing . (Full text available)
[img]
Preview
[img]
Preview

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1997) Comparison of Contrasting Prolog Trace Output Formats. International Journal of Human-Computer Studies, 47 (2). pp. 289-322. ISSN 1071-5819 . (Full text available)
[img]
Preview

Book section

Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J. (1999) A Revised Textual Tree Trace Notation for Prolog. In: Brna, Paul and du Boulay, Benedict and Pain, Helen, eds. Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex Publishing Corporation, pp. 267-281. ISBN 1-56750-434-5. (Full text available)
[img]
Preview
[img]
Preview

Patel, Mukesh J. and Taylor, Chris and du Boulay, Benedict (1994) Textual Tree (Prolog) Tracer: An Experimental Evaluation. In: Gilmore, D. and Winder, R. and Detienne, F., eds. User-Centred Requirements for Software Engineering Environments. NATO ASI Series (Series F: Computer and Systems Sciences), 123 . Springer-Verlag, Berlin, pp. 127-141. (The full text of this publication is not available from this repository)

Monograph

Taylor, Chris and Boiten, Eerke and Derrick, John (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK (Full text available)
[img]
Preview
[img]
Preview

Taylor, Chris (2000) Comparison of ODP Viewpoint Specifications: A Case Study. Technical report. (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Prototype (Test Harness and Results). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Prototype (User Guide). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Parsing and Translation of MATS-2 Rules in Theoretical Form. Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) User Guide to Theoretical Form Parsing and Translation Tool (PATT). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Specification (Domain Objects). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Specification (MATS-2 Separation Rules). Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1993) Evaluation of Contrasting Prolog Trace Output Formats. Technical report. University of Sussex (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1993) Uncertainties in the Interpretation of MATS-2 Separation Rules. Technical report. Dept. of Comp. Science, City University, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Interim Progress Report on Analysis of MATS-2. Technical report. Internal, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) A Survey of Formalisms for the Specification of MATS-2. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Definition of a Theoretical Form for MATS-2. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Initial Domain Analysis of MATS-2. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Taylor, Chris and Naik, Yogesh (1992) Transformation between Theoretical and Validation Forms. Technical report. Dept of Comp Science, London (The full text of this publication is not available from this repository)

Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J. (1991) Outline Proposal for a Prolog `Textual Tree Tracer' (TTT). Technical report. UoS (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Taylor, Chris and Boiten, Eerke and Derrick, John (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Formal Methods for Open Object-Based Distributed Systems V, March 20-22, 2002, Enschede, The Netherlands. (The full text of this publication is not available from this repository)

Taylor, Chris and Derrick, John and Boiten, Eerke (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: 3rd IEEE International Conference on Formal Engineering Methods, Sep 04-06, 2000, York, England. (The full text of this publication is not available from this repository)

van Leemput, Koen and Maes, Frederik and Bello, Fernando and Vandermeulen, Dirk and Colchester, Alan C. F. and Suetens, Paul (1999) Automated segmentation of MS lesions from multi-channel MR images. In: 2nd International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 99), Sep 19-22, 1999, Cambridge, England. (The full text of this publication is not available from this repository)

Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J. (1994) Textual Tree Trace Notation for Prolog: An Overview. In: Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming. (The full text of this publication is not available from this repository)

du Boulay, Benedict and Patel, Mukesh J. and Taylor, Chris (1992) Programming Environments for Novices. In: Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments. (The full text of this publication is not available from this repository)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1991) Effect of Format on Information and Problem Solving. In: Proc. of 13th Ann. Conf. of the Cognitive Science Society. (The full text of this publication is not available from this repository)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1991) Prolog Tracers and Information Access. In: Proc. of 1st Moscow Internat. HCI Workshop. (The full text of this publication is not available from this repository)

Other

Taylor, Chris (1993) A Formal Logical Analysis of Causal Relations. University of Sussex,. (The full text of this publication is not available from this repository)

This list was generated on Thu Oct 23 07:53:26 2014 BST.