Search research publications and outputs

  1. 1994
  2. Dependability Measurement of Safety Critical Systems

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 1994.

    Research output: Working paper

  3. 1993
  4. An Examination of the Efficiency of Sorted Deduction

    Abrams, C. B. & Frisch, A. M., Mar 1993.

    Research output: Working paper

  5. 1992
  6. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1 Dec 1992.

    Research output: Working paper

  7. Handling Composition of Systems Using Matrices

    Shi, Q., McDermid, J. A. & Moffett, J. D., 1 Jan 1992.

    Research output: Working paper

  8. A Failure and Recovery Algebra

    McDermid, J. A., 1992.

    Research output: Working paper

  9. Guiding Reuse with Risk Assessments

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  10. Reuse as a Project Management Tool

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  11. The Probe Project

    Blanchard, T. D. & McDermid, J. A., 1992.

    Research output: Working paper

  12. 1991
  13. What is Integration and do IPSEs Provide It?

    Brown, A. W. & McDermid, J. A., 1991.

    Research output: Working paper

  14. 1990
  15. On the Trustworthiness of Computing Systems

    Dobson, J. E., McDermid, J. A. & Randell, B., 1990.

    Research output: Working paper

  16. Requirements and Constraints on Software Engineering Environments for Dependable Systems

    McDermid, J. A., Hocking, E. S., Shi, Q. & Dobson, J. E., 1990.

    Research output: Working paper

  17. Specification and Design for Timeliness

    Kopetz, H., Fohler, G., Kantz, H., Schuetz, W., Zainlinger, R., Burns, A., McDermid, J. A. & Bhattacharyya, A., 1990.

    Research output: Working paper

  18. The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop

    Clarke, S. J., Coombes, A. & McDermid, J. A., 1990.

    Research output: Working paper

  19. XVDM - Exercise and Execute VDM Directly

    Heping, H., Mander, K. C. & McDermid, J. A., 1990.

    Research output: Working paper

  20. 1989
  21. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1989.

    Research output: Working paper

  22. Some Issues in The Formal Design of Redundant Systems

    McDermid, J. A. & Morgan, G., 1989.

    Research output: Working paper