George Cleland

According to our database, George Cleland authored at least 3 papers between 1995 and 2002.

Collaborative distances:

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

2002

Graphical notations, narratives and persuasion: a Pliant Systems approach to Hypertext Tool Design.

Luke Emmet, George Cleland

Proceedings of the HYPERTEXT 2002, 2002

1995

Experiences in applying formal methods to the analysis of software and system requirements.

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

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Inhibiting factors, market structure and the industrial uptake of formal methods.

George Cleland, Donald MacKenzie

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995