Keith Halewood

Publication Activity (10 Years)

Years Active: 1988-1993
Publications (10 Years): 0

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Keith Halewood, Martin R. Woodward
A Uniform Graphical View of the Program Construction Process: GRIPSE. Int. J. Man Mach. Stud. 38 (5) (1993)
Colin C. Charlton, Paul E. Dunne, Keith Halewood, Paul H. Leng
An Algorithm to Generate Random Large Combinational Circuits. Comput. J. 36 (2) (1993)
Keith Halewood, Martin R. Woodward
NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts. Softw. Pract. Exp. 18 (10) (1988)