Richard Hibberd

According to our database, Richard Hibberd authored at least 5 papers between 1993 and 2001.

Collaborative distances:

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

2001

Prototyping Z specifications in extended lisp.

Richard Bramwell Hibberd

PhD thesis, 2001

1998

A toolset to support the construction and animation of formal specifications.

Ian C. Morrey, Jawed I. A. Siddiqi, Richard Hibberd, Graham Buckberry

J. Syst. Softw., 1998

Understanding and Exploring Formal Specifications.

Jawed I. A. Siddiqi, Ian C. Morrey, Richard Hibberd, Graham Buckberry

Ann. Softw. Eng., 1998

1994

Towards a system for the construction, clarification, discovery and formalisation of requirements.

Jawed I. A. Siddiqi, Ian C. Morrey, Richard Hibberd, Graham Buckberry

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

1993

Use of a specification construction and animation tool to teach formal methods.

Ian C. Morrey, Jawed I. A. Siddiqi, Graham Buckberry, Richard Hibberd

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993