J. A. McDermid

Software metrics and integrated project support environments

Barbara A. Kitchenham, J. A. McDermid, 1986, Softw. Eng. J..

Checkpointing and Error Recovery in distributed Systems

J. A. McDermid, 1981, ICDCS.

ANALYSIS OF DEPENDABLE COMPUTER SYSTEMS

J. A. McDermid, M. Nicholson, M. Nicholson, 1994 .

Developing secure systems in a modular way

J. A. McDermid, Q. Shi, J. D. Moffett, 1993, COMPASS '93: Proceedings of the Eighth Annual Conference on Computer.

Proving the design in the safety case

J. A. McDermid, 1994 .

Zork: a type-checker for Z from York

J. A. McDermid, I. Toyn, 1990 .

COTS: the expensive solution?

J. A. McDermid, 1997 .