Validating and evolving software requirements in a systematic framework. - Mehmet Bülent Özcan; Jawed I. A. Siddiqi (ICRE, 1994)

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)

Integration of Software Tools in Software Engineering Education. - Mehmet Bülent Özcan (CSEE, 1996)

Interchanging Specifications and Implementations in Evolutionary Prototyping. - Mehmet Bülent Özcan; Jawed I. A. Siddiqi (Softw. Pract. Exp., 1996)

Cognitive Dimensions Applied to Modifiability within an Integrated Prototyping Environment. - Chris Roast; Mehmet Bülent Özcan (PPIG, 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)

Requirements Validation based on the Visualization of Executable Formal Specifications. - Mehmet Bülent Özcan; Paul William Parry; Ian C. Morrey; Jawed I. A. Siddiqi (COMPSAC, 1998)

Visualisation of Executable Formal Specifications for User Validation. - Mehmet Bülent Özcan; Paul William Parry; Ian C. Morrey; Jawed I. A. Siddiqi (Services and Visualization: Towards User-Friendly Design, 1998)

Use of Executable Formal Specifications in User Validation. - Mehmet Bülent Özcan (Softw. Pract. Exp., 1998)