NOTASI Z DALAM SPESIFIKASI FORMAL PRORAM APLIKASI SMART CARD

Abstract

Notasi Z telah diakui kehandalannya sebagai alat bantu pembuatan dokumen spesifikasi formal dalam proses pengembangan suatu program aplikasi. Tulisan ini memberikan uraian ringkas pembuatan dokumen spesifikasi formal dengan notasi Z dalam proses pengembangan program aplikasi smart card untuk keperluan perpustakaan, beserta analisanya. Dimulai dengan spesifikasi dalam bahasa alamiah (bahasa Indonesia), yang kemudian dijabarkan secara formal dalam notasi Z yang berbasis pada model matematika. Selanjutnya, dilakukan pengujian terhadap model tersebut dengan menggunakan fuzz2000, yaitu suatu program aplikasi yang dapat menguji tingkat akurasi, konsistensi dan kelengkapan dari model matematika dalam notasi Z. Didiskusikan pula beberapa faktor yang menjadi kendala saat digunakannya bentuk spesifikasi formal dalam proses pengembangan program aplikasi tersebut.