Richard Hibberd

Publication Activity (10 Years)

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

Publications

Ian C. Morrey, Jawed I. A. Siddiqi, Richard Hibberd, Graham Buckberry
A toolset to support the construction and animation of formal specifications. J. Syst. Softw. 41 (3) (1998)
Jawed I. A. Siddiqi, Ian C. Morrey, Richard Hibberd, Graham Buckberry
Understanding and Exploring Formal Specifications. Ann. Softw. Eng. 6 (1998)
Jawed I. A. Siddiqi, Ian C. Morrey, Richard Hibberd, Graham Buckberry
Towards a system for the construction, clarification, discovery and formalisation of requirements. ICRE (1994)
Ian C. Morrey, Jawed I. A. Siddiqi, Graham Buckberry, Richard Hibberd
Use of a specification construction and animation tool to teach formal methods. COMPSAC (1993)