Search research publications and outputs

  1. Paper › Research › Peer-reviewed
  2. High Integrity Software Development: Process and Tool Issues

    Hutcheon, A. D., Jepson, B. J., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1994.

    Research output: Contribution to conferencePaper

  3. Marking time at a snail's pace: million-year-old amino acids

    Penkman, K. E. H., 2014.

    Research output: Contribution to conferencePaper

  4. Mass spectrometric studies of nod factors that mediate alfalfa and soybean nodulation

    Noreen, S., Schlaman, H. R. M., Spaink, H. P., Ruiz-Sainz, J. E. & Thomas-Oates, J. E., 1 Dec 2002, p. 441-442. 2 p.

    Research output: Contribution to conferencePaper

  5. On Integration and Reuse in a Software Development Environment

    Brown, A. W., McDermid, J. A. & Long, F., 1991, p. 171-194.

    Research output: Contribution to conferencePaper

  6. Teaching Reuse through a supportive life-cycle

    Burd, E. L., McDermid, J. A., Whittle, B. R., O'Callaghan, A. & Leigh, M., 1994.

    Research output: Contribution to conferencePaper

  7. The Formal Analysis of Ada Programs

    Hutcheon, A. D., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1993.

    Research output: Contribution to conferencePaper

  8. Tool Support for High Integrity Ada Software

    Hutcheon, A. D., Jordan, D. T., McDermid, J. A., Pierce, R. H., Wand, I. C., Jepson, B. J. & Toussaint, M., 1994, p. 63-75.

    Research output: Contribution to conferencePaper

Previous 1 2 Next