Authors: OZCAN MB

Citation: Mb. Ozcan, USE OF EXECUTABLE FORMAL SPECIFICATIONS IN USER VALIDATION, Software, practice & experience, 28(13), 1998, pp. 1359-1385

Authors: SIDDIQI JI MORREY IC ROAST CR OZCAN MB

Citation: Ji. Siddiqi et al., TOWARDS QUALITY REQUIREMENTS VIA ANIMATED FORMAL SPECIFICATIONS, ANNALS OF SOFTWARE ENGINEERING, 3, 1997, pp. 131-155

Authors: OZCAN MB

Citation: Mb. Ozcan, REWARDING PRIVATELY, Computer, 30(4), 1997, pp. 7-7

Authors: OZCAN MB SIDDIQI J

Citation: Mb. Ozcan et J. Siddiqi, INTERCHANGING SPECIFICATIONS AND IMPLEMENTATIONS IN EVOLUTIONARY PROTOTYPING, Software, practice & experience, 26(9), 1996, pp. 999-1023