Judith Barnard

According to our database, Judith Barnard authored at least 5 papers between 1996 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Introducing X-machine models to verify PLC ladder diagrams.

Colin Chambers, Mike Holcombe, Judith Barnard

Comput. Ind., 2001

1998

A new reusability metric for object-oriented software.

Judith Barnard

Softw. Qual. J., 1998

COMX: a design methodology using communicating X-machines.

Judith Barnard

Inf. Softw. Technol., 1998

1996

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

Judith Barnard

PhD thesis, 1996

Communicating X-machines.

Judith Barnard, J. Whitworth, M. Woodward

Inf. Softw. Technol., 1996