Ian C. Morrey

According to our database, Ian C. Morrey authored at least 9 papers between 1993 and 1998.

Collaborative distances:

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

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

Visualisation of Executable Formal Specifications for User Validation.

Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Requirements Validation based on the Visualization of Executable Formal Specifications.

Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi

Proceedings of the COMPSAC '98, 1998

1997

Towards Quality Requirements via Animated Formal Apecifications.

Jawed I. A. Siddiqi, Ian C. Morrey, Chris Roast, Mehmet Bülent Özcan

Ann. Softw. Eng., 1997

1995

A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes.

Mehmet Bülent Özcan, Ian C. Morrey

ACM SIGSOFT Softw. Eng. Notes, 1995

Toolset to support a systematic strategy for AI development.

Jawed Siddiqi, Ian C. Morrey

Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

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