UI - Skripsi Membership :: Kembali

UI - Skripsi Membership :: Kembali

Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.

Sulistomo Adie Suwarno; Yahma Wisnani, supervisor; Siti Aminah, supervisor (Universitas Indonesia, 2005)

 Abstrak

Model PARADIGM untuk Anjungan Tunai Mandiri (ATM) adalah model dari suatu rancangan sistem untuk ATM yang direpresentasikan menjadi himpunan State Transition Diagram (STD). Sebelum diimplementasikan pada komputer, sebuah model dari suatu rancangan sistem sebaiknya terlebih dahulu diterjemahkan menjadi pseudocode agar lebih mudah dibuat koding programnya. Tugas akhir ini membahas bagaimana model PARADIGM untuk ATM diterjemahkan menjadi pseudocode dalam bahasa Propositional Linear Temporal Logic (PLTL) dengan bantuan algoritma penerjemah.

 File Digital: 1

Shelf
 S27598-Sulistomo Adie Suwarno.pdf :: Unduh

LOGIN required

 Metadata

Jenis Koleksi : UI - Skripsi Membership
No. Panggil : S27598
Entri utama-Nama orang :
Entri tambahan-Nama orang :
Entri tambahan-Nama badan :
Program Studi :
Subjek :
Penerbitan : Depok: Universitas Indonesia, 2005
Bahasa : ind
Deskripsi Fisik : vii, 62 hlm. ; 30 cm.
Lembaga Pemilik : Universitas Indonesia
Lokasi : Perpustakaan UI, Lantai 3
No. Panggil No. Barkod Ketersediaan
S27598 14-20-542559038 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20180272
Cover
 Lihat juga