Ian C. Morrey

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)
Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi
Visualisation of Executable Formal Specifications for User Validation. Services and Visualization: Towards User-Friendly Design (1998)
Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi
Requirements Validation based on the Visualization of Executable Formal Specifications. COMPSAC (1998)
Jawed I. A. Siddiqi, Ian C. Morrey, Chris Roast, Mehmet Bülent Özcan
Towards Quality Requirements via Animated Formal Apecifications. Ann. Softw. Eng. 3 (1997)
Mehmet Bülent Özcan, Ian C. Morrey
A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes. ACM SIGSOFT Softw. Eng. Notes 20 (5) (1995)
Jawed Siddiqi, Ian C. Morrey
Toolset to support a systematic strategy for AI development. ICTAI (1995)
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)