George Cleland

Publication Activity (10 Years)

Years Active: 1995-2002
Publications (10 Years): 0

Publications

Luke Emmet, George Cleland
Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design. Hypertext (2002)
George Cleland, Donald MacKenzie
Inhibiting factors, market structure and the industrial uptake of formal methods. WIFT (1995)
David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)