Judith Barnard

COMX : a methodology for the formal design of computer systems using communicating X-machines

Judith Barnard, 1996 .

COMX: a design methodology using communicating X-machines

Judith Barnard, Judith Barnard, 1998, Inf. Softw. Technol..

A new reusability metric for object-oriented software

Judith Barnard, Judith Barnard, 1998, Software Quality Journal.

Introducing X-machine models to verify PLC ladder diagrams

Mike Holcombe, Judith Barnard, Colin Chambers, 2001, Comput. Ind..

TRENT 500: THE LONG DISTANCE RUNNER

Judith Barnard, 1999 .