| |
| 2006 | ||
|---|---|---|
| 3 | Mohammed Sullabi, Zarina Shukur: Web-based Collaborative Model for Preparing Formal Software Specifications. iiWAS 2006: 433-442 | |
| 2002 | ||
| 2 | EE | Zarina Shukur, Abdullah Mohd Zin, Ainita Ban: M2Z: A Tool for Translating a Natural Language Software Specification into Z. ICFEM 2002: 406-410 |
| 2000 | ||
| 1 | EE | Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin: A Knowledge-based Automated Debugger in Learning System. AADEBUG 2000 |
| 1 | Syed Ahmad Aljunid | [1] |
| 2 | Ainita Ban | [2] |
| 3 | Mohd Jan Nordin | [1] |
| 4 | Mohammed Sullabi | [3] |
| 5 | Abdullah Mohd Zin | [1] [2] |