 | 1998 |
| 5 |  | 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 |  | 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 |  | Mehmet Bülent Özcan:
Use of Executable Formal Specifications in User Validation.
Softw., Pract. Exper. 28(13): 1359-1385 (1998) |
| 1997 |
| 2 |  | 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) |
| 1996 |
| 1 |  | Mehmet Bülent Özcan,
Jawed I. A. Siddiqi:
Interchanging Specifications and Implementations in Evolutionary Prototyping.
Softw., Pract. Exper. 26(9): 999-1023 (1996) |