Computer File
Analisis dan pemodelan interaksi manusia komputer pada mesin ATM menggunakan maude
Skripsi ini membahas mengenai pemodelan antarmuka dari mesin ATM. Fungsi yang
beragam dari mesin ATM, seperti penarikan uang tunai, melakukan pembayaran tagihan
listrik dan lain sebagainya sangat menarik untuk diteliti. Antarmuka mesin ATM
masih membutuhkan pengembangan lebih lanjut karena mesin ATM yang ada saat ini
masih memungkinkan terjadinya human-error. Human-error yang terjadi disebabkan
karena antarmuka yang kurang baik dari mesin ATM tersebut. Salah satu cara agar
human-error ini dapat diminimalisasi adalah dengan menggunakan metode formal untuk
proses verifikasi. Maude sebagai salah satu dari metode formal dapat digunakan
untuk memodelkan interaksi manusia-komputer yang mungkin terjadi pada mesin ATM.
Pengaplikasian logika temporal dalam metode formal digunakan untuk mendefinisikan
human-error yang akan diverifikasi. Dengan melakukan verifikasi terhadap human-error
dalam bentuk logika temporal terhadap model yang sudah dibuat, dapat dianalisis penyebab
human-error. Model yang ada dapat diperbaiki untuk meminimalisasi human-error
Kata-kata kunci: Maude, antarmuka, logika temporal, human-error
Barcode | Tipe Koleksi | Nomor Panggil | Lokasi | Status | |
---|---|---|---|---|---|
skp24197 | DIG - FTIS | Skripsi | INFO GRA a/12 | Perpustakaan | Tersedia namun tidak untuk dipinjamkan - Missing |
Tidak tersedia versi lain