Skip to main content
Kent Academic Repository

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

Article

Taylor, Chris and Boiten, Eerke Albert 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. (doi:https://doi.org/10.1049/ip-sen:20020318) (Full text available)
[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. (doi:https://doi.org/10.1006/ijhc.1997.0119) (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 currently available from this repository. You may be able to access a copy if URLs are provided)

Monograph

Taylor, Chris and Boiten, Eerke Albert 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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 currently available from this repository. You may be able to access a copy if URLs are provided)

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 Albert and Derrick, John (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Jacobs, Bart and Rensink, Arend, eds. Formal Methods for Open Object-Based Distributed Systems V. IFIP International Federation for Information Processings, 5. Kluwer Academic Publishers, Dordrecht pp. 61-76. ISBN 978-0-7923-7683-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris and Derrick, John and Boiten, Eerke Albert (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on. IEEE pp. 177-185. ISBN 0-7695-0822-7. (doi:https://doi.org/10.1109/ICFEM.2000.873818) (Full text available)
[img]
Preview

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: Taylor, Chris and Colchester, Alan C. F., eds. Medical Image Computing and Computer-Assisted Intervention, MICCAI'99, Proceedings. Lecture Notes in Computer Science, 1679. Springer-Verlag Berlin pp. 11-21. ISBN 3-540-66503-X. (doi:https://doi.org/10.1007/10704282_2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. , Santa Margherita Ligure, Italy pp. 73-80. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. , Genoa, Italy pp. 105-107. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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. , Chicago pp. 852-856. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris (1991) Prolog Tracers and Information Access. In: Proc. of 1st Moscow Internat. HCI Workshop. pp. 140-145. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thesis

Taylor, Chris (1993) A Formal Logical Analysis of Causal Relations. Doctor of Philosophy (PhD) thesis, University of Sussex. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Mon May 27 20:00:59 2019 BST.