Rozlina binti Mohamad

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Provably Correct

Test Case Generation

Formal Specification

Top Venues

Publications

Fauziah binti Zainuddin, Ruzaini bin Abdullah Arshah, Rozlina binti Mohamad
Software visual specification for requirement engineering education. IC4E (2019)
Fauziah binti Zainuddin, Ruzaini bin Abdullah Arshah, Rozlina binti Mohamad
Software Visual Specification for Requirement Specification Validation. ICSCA (2018)