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

McCluskey, T.L. and Porteous, J.M. and Naik, Yogesh and Taylor, C. and Jones, S. (1995) A Requirements Capture Method and Its Use in an Air Traffic Control Application. Software Practice and Experience, 25 . pp. 47-71. (Full text available)
[img]
Preview
[img]
Preview

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)

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)

This list was generated on Tue Apr 9 15:37:27 2019 BST.