1998 |
5 | EE | 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: 381-386 |
4 | EE | 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: 142-157 |
3 | | Jawed I. A. Siddiqi,
Ian C. Morrey,
Richard Hibberd,
Graham Buckberry:
Understanding and Exploring Formal Specifications.
Ann. Software Eng. 6: 411-432 (1998) |
2 | EE | Ian C. Morrey,
Jawed I. A. Siddiqi,
Richard Hibberd,
Graham Buckberry:
A toolset to support the construction and animation of formal specifications.
Journal of Systems and Software 41(3): 147-160 (1998) |
1997 |
1 | | Jawed I. A. Siddiqi,
Ian C. Morrey,
Chris Roast,
Mehmet Bülent Özcan:
Towards Quality Requirements via Animated Formal Apecifications.
Ann. Software Eng. 3: 131-155 (1997) |