| |
| 2007 | ||
|---|---|---|
| 5 | EE | Rosziati Ibrahim, Mohd Zainura Saringat, Noraini Ibrahim, Noraida Ismail: An Automatic Tool for Generating Test Cases from the System's Requirements. CIT 2007: 861-866 |
| 2003 | ||
| 4 | EE | Rosziati Ibrahim, Marlene Lu: Formal Methods applied to Plywood Production. QSIC 2003: 298- |
| 2001 | ||
| 3 | Rosziati Ibrahim, Marlene Lu: Domain Model and Softwar Development: The Case Study of Plywood Production. ISAS-SCI (1) 2001: 416-421 | |
| 1998 | ||
| 2 | Rosziati Ibrahim: Formal Methods for Component-Based Systems. ECOOP Workshops 1998: 32 | |
| 1 | EE | Rosziati Ibrahim, Clemens A. Szyperski: Formalization of Component Object Model (COM) - The COMEL Language. ECOOP Workshops 1998: 558 |
| 1 | Noraini Ibrahim | [5] |
| 2 | Noraida Ismail | [5] |
| 3 | Marlene Lu | [3] [4] |
| 4 | Mohd Zainura Saringat | [5] |
| 5 | Clemens A. Szyperski | [1] |