Implementasi penjana model konsepsi Z dengan menggunakan spesifikasi JFLEX dan BYACC/J - Maria Ulfah S. (Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 2007)
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2007
Rujukan : p. [187]-189
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Dissertations, Academic -- Malaysia; Z (Computer program language); Computer software -- Development; Formal methods (Computer science)