KURSUS INI MERANGKUMI KAEDAH FORMAL DALAM PEMBANGUNAN PERISIAN YANG DAPAT DIGUNAKAN DALAM MEMBINA PERISIAN. PENGGUNAAN INI TERMASUK MENSPESIFIKASI DAN MENTAHKIK PERISIAN. BAHASA KAEDAH FORMAL TERMASUK EVENT-B, Z ATAU VDM JUGA AKAN DIPERKENALKAN.(THIS COURSE COVERS FORMAL METHODS WHICH CAN BE USED IN DEVELOPING SOFTWARE. THE USAGE INCLUDES SPECIFYING AND VERIFYING SOFTWARE. FORMAL METHODS LANGUAGES WHICH INCLUDES EVENT-B, Z OR VDM WILL BE INTRODUCED)
- Teacher: PUAN AINITA BINTI BAN .