|
Repository Universitas Gunadarma >
E-Journal >
E-Journal Komputer >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/754
|
| Title: | NOTASI Z DALAM SPESIFIKASI FORMAL PROGRAM APLIKASI SMART CARD |
| Authors: | Priyasta, Dwidharma
Mustafa Sarinanto, Mohammad |
| Keywords: | skema Z,
fuzz2000
notasi Z
smart card
spesifikasi formal |
| Issue Date: | Aug-2002 |
| Publisher: | Proceedings, Komputer dan Sist em Intelijen (KOMMIT 2002) |
| Series/Report no.: | A61-69; |
| 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. |
| URI: | http://hdl.handle.net/123456789/754 |
| ISSN: | 1411-6286 |
| Appears in Collections: | E-Journal Komputer
|
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
|
